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 | 1030.33 | 1034.28 |
| 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 | 3558 |
| 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.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4432634-1721078616.opb>
0.00/0.00 c original problem has 478 variables (478 bin, 0 int, 0 impl, 0 cont) and 478 constraints
0.00/0.00 c problem read in 0.00
0.00/0.00 o 478
0.00/0.00 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 4.780000e+02
0.00/0.00 c presolving:
0.00/0.01 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.01 c (0.0s) running MILP presolver
0.00/0.01 c (0.0s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.00/0.01 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.01 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.02 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.02 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.02 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.02 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.03 c (0.0s) probing: 51/478 (10.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.03 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.04
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.998049
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.1s| 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.1s| 1 | 0 | 0 | - | oneopt| 0 | 478 | 567 | 567 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.130000e+02 | Inf | unknown
1.18/1.28 c 1.3s| 1 | 0 | 10234 | - | 7616k | 0 | 478 | 567 | 567 | 0 | 0 | 0 | 0 | 1.510234e+02 | 2.130000e+02 | 41.04%| unknown
1.38/1.49 c 1.5s| 1 | 0 | 11042 | - | 24M | 0 | 478 | 567 | 632 | 65 | 1 | 0 | 0 | 1.561170e+02 | 2.130000e+02 | 36.44%| unknown
1.58/1.65 c 1.6s| 1 | 0 | 11567 | - | 38M | 0 | 478 | 567 | 690 | 123 | 2 | 0 | 0 | 1.586145e+02 | 2.130000e+02 | 34.29%| unknown
1.77/1.80 c 1.8s| 1 | 0 | 12058 | - | 50M | 0 | 478 | 567 | 745 | 178 | 3 | 0 | 0 | 1.598903e+02 | 2.130000e+02 | 33.22%| unknown
1.88/1.98 c 2.0s| 1 | 0 | 12810 | - | 61M | 0 | 478 | 567 | 799 | 232 | 4 | 0 | 0 | 1.616257e+02 | 2.130000e+02 | 31.79%| unknown
2.09/2.13 c 2.1s| 1 | 0 | 13436 | - | 71M | 0 | 478 | 567 | 854 | 287 | 5 | 0 | 0 | 1.625058e+02 | 2.130000e+02 | 31.07%| unknown
2.18/2.26 c 2.3s| 1 | 0 | 13815 | - | 85M | 0 | 478 | 567 | 900 | 333 | 6 | 0 | 0 | 1.630637e+02 | 2.130000e+02 | 30.62%| unknown
2.38/2.40 c 2.4s| 1 | 0 | 14269 | - | 98M | 0 | 478 | 567 | 942 | 375 | 7 | 0 | 0 | 1.635374e+02 | 2.130000e+02 | 30.25%| unknown
2.47/2.54 c 2.5s| 1 | 0 | 14718 | - | 102M | 0 | 478 | 567 | 976 | 409 | 8 | 0 | 0 | 1.638780e+02 | 2.130000e+02 | 29.97%| unknown
2.58/2.69 c 2.7s| 1 | 0 | 14971 | - | 120M | 0 | 478 | 567 |1006 | 439 | 9 | 0 | 0 | 1.640690e+02 | 2.130000e+02 | 29.82%| unknown
2.78/2.83 c 2.8s| 1 | 0 | 15177 | - | 137M | 0 | 478 | 567 |1033 | 466 | 10 | 0 | 0 | 1.642148e+02 | 2.130000e+02 | 29.71%| unknown
2.88/2.91 c 2.9s| 1 | 0 | 15388 | - | 137M | 0 | 478 | 567 |1054 | 490 | 11 | 0 | 0 | 1.643176e+02 | 2.130000e+02 | 29.63%| unknown
2.88/2.99 c 3.0s| 1 | 0 | 15655 | - | 137M | 0 | 478 | 567 |1081 | 517 | 12 | 0 | 0 | 1.644133e+02 | 2.130000e+02 | 29.55%| unknown
2.99/3.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.99/3.06 c 3.1s| 1 | 0 | 15795 | - | 137M | 0 | 478 | 567 |1100 | 536 | 13 | 0 | 0 | 1.644788e+02 | 2.130000e+02 | 29.50%| unknown
3.09/3.13 c 3.1s| 1 | 0 | 15961 | - | 137M | 0 | 478 | 567 |1117 | 553 | 14 | 0 | 0 | 1.645432e+02 | 2.130000e+02 | 29.45%| unknown
3.09/3.19 c 3.2s| 1 | 0 | 16051 | - | 137M | 0 | 478 | 567 |1131 | 567 | 15 | 0 | 0 | 1.645596e+02 | 2.130000e+02 | 29.44%| unknown
3.18/3.25 c 3.2s| 1 | 0 | 16118 | - | 138M | 0 | 478 | 567 |1141 | 577 | 16 | 0 | 0 | 1.645654e+02 | 2.130000e+02 | 29.43%| unknown
3.28/3.30 c 3.3s| 1 | 0 | 16163 | - | 138M | 0 | 478 | 567 |1087 | 582 | 17 | 0 | 0 | 1.645696e+02 | 2.130000e+02 | 29.43%| unknown
3.28/3.35 c 3.3s| 1 | 0 | 16176 | - | 138M | 0 | 478 | 567 |1091 | 586 | 18 | 0 | 0 | 1.645700e+02 | 2.130000e+02 | 29.43%| unknown
5.27/5.39 c 5.4s| 1 | 2 | 16176 | - | 139M | 0 | 478 | 567 |1091 | 586 | 19 | 0 | 32 | 1.648389e+02 | 2.130000e+02 | 29.22%| unknown
16.43/16.55 o 212
16.43/16.55 c d16.5s| 28 | 29 | 25993 | 363.6 |pscostdi| 27 | 478 | 567 |1073 | 0 | 1 | 0 | 311 | 1.649408e+02 | 2.120000e+02 | 28.53%| unknown
16.43/16.55 o 204
16.43/16.55 c d16.5s| 28 | 29 | 26021 | 364.6 |pscostdi| 27 | 478 | 567 |1073 | 0 | 1 | 0 | 311 | 1.649408e+02 | 2.040000e+02 | 23.68%| unknown
16.43/16.55 o 202
16.43/16.55 c d16.5s| 28 | 29 | 26036 | 365.2 |pscostdi| 27 | 478 | 567 |1073 | 0 | 1 | 0 | 311 | 1.649408e+02 | 2.020000e+02 | 22.47%| unknown
16.43/16.55 o 201
16.43/16.55 c d16.5s| 28 | 29 | 26051 | 365.7 |pscostdi| 27 | 478 | 567 |1073 | 0 | 1 | 0 | 311 | 1.649408e+02 | 2.010000e+02 | 21.86%| unknown
16.43/16.55 c d16.5s| 28 | 29 | 26057 | 366.0 |pscostdi| 27 | 478 | 567 |1073 | 0 | 1 | 0 | 311 | 1.649408e+02 | 2.010000e+02 | 21.86%| unknown
19.82/19.94 c 19.9s| 100 | 101 | 51587 | 357.7 | 166M | 33 | 478 | 567 |1037 |1327 | 1 | 2 | 333 | 1.649463e+02 | 2.010000e+02 | 21.86%| unknown
31.18/31.32 c 31.3s| 200 | 201 |161704 | 731.3 | 175M | 33 | 478 | 567 |1073 |2147 | 1 | 3 | 384 | 1.649463e+02 | 2.010000e+02 | 21.86%| unknown
35.88/36.05 o 198
35.88/36.05 c L36.1s| 228 | 229 |200024 | 809.9 | rins| 33 | 478 | 567 |1128 |2349 | 1 | 5 | 394 | 1.650113e+02 | 1.980000e+02 | 19.99%| unknown
48.33/48.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
48.33/48.53 c 48.5s| 300 | 301 |343532 |1094.8 | 176M | 33 | 478 | 567 |1104 |2835 | 1 | 9 | 422 | 1.652150e+02 | 1.980000e+02 | 19.84%| unknown
61.98/62.23 c 62.2s| 400 | 401 |495703 |1201.8 | 177M | 35 | 478 | 567 |1115 |3233 | 5 | 10 | 454 | 1.653580e+02 | 1.980000e+02 | 19.74%| unknown
72.65/72.98 c 73.0s| 500 | 501 |619222 |1208.5 | 177M | 35 | 478 | 567 |1112 |3779 | 1 | 12 | 486 | 1.654315e+02 | 1.980000e+02 | 19.69%| unknown
82.73/83.04 c 83.0s| 600 | 601 |729650 |1191.1 | 178M | 35 | 478 | 567 |1082 |4338 | 1 | 15 | 517 | 1.654880e+02 | 1.980000e+02 | 19.65%| unknown
91.70/92.02 c 92.0s| 700 | 701 |838991 |1177.1 | 178M | 37 | 478 | 567 |1124 |4863 | 1 | 18 | 537 | 1.655330e+02 | 1.980000e+02 | 19.61%| unknown
99.67/100.07 o 194
99.67/100.07 c L 100s| 786 | 787 |927164 |1160.5 | rins| 37 | 478 | 567 |1084 |5448 | 1 | 19 | 540 | 1.655769e+02 | 1.940000e+02 | 17.17%| unknown
100.77/101.16 c 101s| 800 | 801 |939911 |1156.1 | 179M | 37 | 478 | 567 |1080 |5533 | 1 | 19 | 540 | 1.655769e+02 | 1.940000e+02 | 17.17%| unknown
110.53/110.91 c 111s| 900 | 901 | 1056k|1157.6 | 182M | 37 | 478 | 567 |1069 |6192 | 1 | 27 | 546 | 1.656202e+02 | 1.940000e+02 | 17.14%| unknown
120.49/120.94 c 121s| 1000 | 1001 | 1154k|1140.0 | 183M | 37 | 478 | 567 |1080 |6716 | 1 | 30 | 560 | 1.656502e+02 | 1.940000e+02 | 17.11%| unknown
126.37/126.84 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
126.37/126.84 c (run 1, node 1049) performing user restart
126.37/126.84 c
126.37/126.84 c (restart) converted 324 cuts from the global cut pool into linear constraints
126.37/126.84 c
126.47/126.91 c presolving:
126.47/126.91 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
126.47/126.91 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
126.47/126.91 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
126.47/126.91 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
126.47/126.92 c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
126.47/126.92 c 0 deleted vars, 4 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 11 changed coefficients
126.47/126.92 c 0 implications, 122 cliques
126.47/126.92 c presolved problem has 478 variables (478 bin, 0 int, 0 impl, 0 cont) and 889 constraints
126.47/126.92 c 644 constraints of type <knapsack>
126.47/126.92 c 122 constraints of type <setppc>
126.47/126.92 c 123 constraints of type <logicor>
126.47/126.92 c transformed objective value is always integral (scale: 1)
126.47/126.92 c Presolving Time: 0.05
126.47/126.93 c transformed 90/100 original solutions to the transformed problem space
126.47/126.93 c
127.87/128.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
127.87/128.34 c 128s| 1 | 0 | 1222k| - | 169M | 0 | 478 | 889 | 887 | 0 | 0 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
127.96/128.48 c 128s| 1 | 0 | 1223k| - | 169M | 0 | 478 | 889 | 928 | 41 | 1 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
128.16/128.60 c 129s| 1 | 0 | 1223k| - | 173M | 0 | 478 | 889 | 952 | 65 | 2 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
128.26/128.70 c 129s| 1 | 0 | 1224k| - | 177M | 0 | 478 | 889 | 972 | 85 | 3 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
128.37/128.82 c 129s| 1 | 0 | 1224k| - | 184M | 0 | 478 | 889 | 987 | 100 | 4 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
128.47/128.94 c 129s| 1 | 0 | 1224k| - | 188M | 0 | 478 | 889 |1004 | 117 | 5 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
128.58/129.07 c 129s| 1 | 0 | 1224k| - | 194M | 0 | 478 | 889 |1012 | 125 | 6 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
128.77/129.21 c 129s| 1 | 0 | 1224k| - | 191M | 0 | 478 | 889 |1021 | 134 | 7 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
128.87/129.35 c 129s| 1 | 0 | 1225k| - | 191M | 0 | 478 | 889 |1027 | 140 | 8 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
129.07/129.50 c 129s| 1 | 0 | 1225k| - | 191M | 0 | 478 | 889 |1032 | 145 | 9 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
129.17/129.64 c 130s| 1 | 0 | 1225k| - | 194M | 0 | 478 | 889 |1037 | 150 | 10 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
129.26/129.71 c 130s| 1 | 0 | 1225k| - | 194M | 0 | 478 | 889 |1020 | 152 | 11 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
129.26/129.79 c 130s| 1 | 0 | 1225k| - | 194M | 0 | 478 | 889 |1022 | 154 | 12 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
129.36/129.87 c 130s| 1 | 0 | 1225k| - | 194M | 0 | 478 | 889 |1025 | 157 | 13 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
129.46/129.96 c 130s| 1 | 0 | 1225k| - | 194M | 0 | 478 | 889 |1027 | 159 | 14 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
129.57/130.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
129.57/130.05 c 130s| 1 | 0 | 1225k| - | 194M | 0 | 478 | 889 |1028 | 160 | 15 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
129.68/130.15 c 130s| 1 | 0 | 1225k| - | 194M | 0 | 478 | 889 |1030 | 162 | 16 | 32 | 576 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
131.46/131.90 c 132s| 1 | 2 | 1225k| - | 194M | 0 | 478 | 889 |1030 | 162 | 16 | 32 | 595 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
150.50/151.10 c 151s| 100 | 101 | 1319k|1125.2 | 243M | 44 | 478 | 891 |1042 | 510 | 1 | 37 | 770 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
155.87/156.46 c 156s| 200 | 201 | 1368k|1074.2 | 291M | 94 | 478 | 891 |1108 | 830 | 1 | 41 | 804 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
158.26/158.86 c 159s| 300 | 237 | 1391k|1011.6 | 290M | 116 | 478 | 891 |1116 | 930 | 1 | 56 | 841 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
163.34/163.90 c 164s| 400 | 281 | 1441k| 975.9 | 290M | 116 | 478 | 891 |1117 |1061 | 1 | 64 | 880 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
166.23/166.80 c 167s| 500 | 329 | 1462k| 926.6 | 290M | 116 | 478 | 891 | 952 |1206 | 1 | 73 | 917 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
170.12/170.71 c 171s| 600 | 377 | 1495k| 890.4 | 290M | 118 | 478 | 894 |1124 |1352 | 1 | 84 | 947 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
170.81/171.45 c 171s| 700 | 387 | 1505k| 845.2 | 289M | 127 | 478 | 894 |1121 |1371 | 1 | 99 | 977 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
174.70/175.32 c 175s| 800 | 413 | 1530k| 813.1 | 290M | 127 | 478 | 894 |1121 |1496 | 1 | 103 |1001 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
176.50/177.17 c 177s| 900 | 437 | 1548k| 780.6 | 290M | 127 | 478 | 894 |1121 |1554 | 1 | 114 |1014 | 1.656729e+02 | 1.940000e+02 | 17.10%| unknown
178.98/179.67 o 193
178.98/179.67 c L 180s| 987 | 453 | 1562k| 754.1 | rins| 127 | 478 | 894 |1119 |1619 | 1 | 117 |1035 | 1.656729e+02 | 1.930000e+02 | 16.49%| unknown
179.08/179.73 c 180s| 1000 | 448 | 1563k| 749.8 | 290M | 127 | 478 | 894 |1119 |1619 | 2 | 118 |1035 | 1.656729e+02 | 1.930000e+02 | 16.49%| unknown
180.68/181.31 c 181s| 1100 | 486 | 1579k| 722.2 | 290M | 127 | 478 | 894 |1119 |1680 | 1 | 122 |1051 | 1.656729e+02 | 1.930000e+02 | 16.49%| unknown
185.96/186.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
185.96/186.63 c 187s| 1200 | 518 | 1614k| 705.5 | 291M | 127 | 478 | 894 |1123 |1852 | 2 | 130 |1071 | 1.656729e+02 | 1.930000e+02 | 16.49%| unknown
188.36/189.03 c 189s| 1300 | 528 | 1632k| 683.1 | 291M | 127 | 478 | 894 |1121 |1963 | 2 | 140 |1085 | 1.656729e+02 | 1.930000e+02 | 16.49%| unknown
190.04/190.71 c 191s| 1400 | 560 | 1650k| 662.6 | 291M | 127 | 478 | 894 |1121 |2086 | 1 | 148 |1090 | 1.656729e+02 | 1.930000e+02 | 16.49%| unknown
192.23/192.94 c 193s| 1500 | 570 | 1670k| 644.4 | 291M | 127 | 478 | 894 |1121 |2202 | 2 | 158 |1097 | 1.656729e+02 | 1.930000e+02 | 16.49%| unknown
195.12/195.81 o 192
195.12/195.81 c L 196s| 1581 | 555 | 1691k| 632.5 | rins| 127 | 478 | 894 |1123 |2315 | 2 | 162 |1113 | 1.656729e+02 | 1.920000e+02 | 15.89%| unknown
195.12/195.82 o 191
195.12/195.82 c i 196s| 1582 | 513 | 1691k| 632.3 | oneopt| 127 | 478 | 894 |1121 |2315 | 1 | 162 |1113 | 1.656729e+02 | 1.910000e+02 | 15.29%| unknown
195.22/195.95 c 196s| 1600 | 531 | 1693k| 628.9 | 291M | 127 | 478 | 894 |1117 |2319 | 1 | 162 |1114 | 1.656729e+02 | 1.910000e+02 | 15.29%| unknown
196.02/196.70 c 197s| 1700 | 555 | 1707k| 611.1 | 291M | 127 | 478 | 894 |1121 |2329 | 1 | 173 |1114 | 1.656729e+02 | 1.910000e+02 | 15.29%| unknown
196.72/197.47 o 190
196.72/197.47 c L 197s| 1784 | 535 | 1721k| 598.0 | rins| 127 | 478 | 894 |1119 |2337 | 1 | 183 |1115 | 1.656729e+02 | 1.900000e+02 | 14.68%| unknown
197.61/198.32 c 198s| 1800 | 539 | 1727k| 596.5 | 291M | 127 | 478 | 894 | 955 |2385 | 1 | 185 |1115 | 1.656729e+02 | 1.900000e+02 | 14.68%| unknown
202.99/203.70 c 204s| 1900 | 587 | 1786k| 596.4 | 292M | 127 | 478 | 894 |1119 |2596 | 1 | 191 |1118 | 1.656729e+02 | 1.900000e+02 | 14.68%| unknown
206.48/207.22 c 207s| 2000 | 619 | 1817k| 587.0 | 292M | 127 | 478 | 894 |1121 |2754 | 0 | 203 |1124 | 1.656729e+02 | 1.900000e+02 | 14.68%| unknown
208.29/209.06 c 209s| 2100 | 637 | 1838k| 575.1 | 292M | 127 | 478 | 894 |1122 |2847 | 1 | 212 |1125 | 1.656729e+02 | 1.900000e+02 | 14.68%| unknown
211.56/212.30 c 212s| 2200 | 671 | 1867k| 566.2 | 292M | 127 | 478 | 894 |1121 |3012 | 0 | 220 |1128 | 1.656729e+02 | 1.900000e+02 | 14.68%| unknown
214.55/215.35 c 215s| 2300 | 695 | 1897k| 558.2 | 292M | 127 | 478 | 894 |1124 |3151 | 4 | 224 |1128 | 1.656729e+02 | 1.900000e+02 | 14.68%| unknown
217.74/218.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
217.74/218.55 c 219s| 2400 | 723 | 1924k| 549.9 | 292M | 127 | 478 | 894 | 977 |3300 | 1 | 235 |1130 | 1.656729e+02 | 1.900000e+02 | 14.68%| unknown
221.82/222.60 c 223s| 2500 | 753 | 1960k| 544.7 | 292M | 127 | 478 | 894 |1123 |3460 | 1 | 244 |1133 | 1.656729e+02 | 1.900000e+02 | 14.68%| unknown
223.82/224.64 c 225s| 2600 | 775 | 1982k| 535.6 | 292M | 127 | 478 | 894 |1126 |3574 | 1 | 259 |1134 | 1.656729e+02 | 1.900000e+02 | 14.68%| unknown
224.71/225.52 c 226s| 2700 | 781 | 1997k| 525.5 | 292M | 127 | 478 | 894 |1124 |3590 | 1 | 266 |1134 | 1.656729e+02 | 1.900000e+02 | 14.68%| unknown
230.79/231.69 c 232s| 2800 | 843 | 2047k| 524.9 | 292M | 127 | 478 | 894 |1121 |3890 | 1 | 276 |1138 | 1.656729e+02 | 1.900000e+02 | 14.68%| unknown
233.78/234.63 c 235s| 2900 | 881 | 2066k| 516.4 | 292M | 127 | 478 | 893 | 971 |3988 | 1 | 284 |1155 | 1.656729e+02 | 1.900000e+02 | 14.68%| unknown
235.67/236.52 c 237s| 3000 | 895 | 2092k| 510.0 | 292M | 127 | 478 | 893 |1125 |4030 | 1 | 302 |1156 | 1.656729e+02 | 1.900000e+02 | 14.68%| unknown
239.46/240.36 c 240s| 3100 | 933 | 2120k| 504.4 | 293M | 127 | 478 | 893 |1129 |4187 | 1 | 311 |1172 | 1.656729e+02 | 1.900000e+02 | 14.68%| unknown
243.74/244.61 c 245s| 3200 | 969 | 2152k| 500.2 | 293M | 127 | 478 | 894 | 987 |4421 | 1 | 323 |1186 | 1.656778e+02 | 1.900000e+02 | 14.68%| unknown
248.63/249.51 c 250s| 3300 | 999 | 2190k| 497.2 | 293M | 127 | 478 | 894 |1131 |4568 | 0 | 332 |1216 | 1.656854e+02 | 1.900000e+02 | 14.68%| unknown
251.71/252.69 c 253s| 3400 | 1031 | 2220k| 492.9 | 296M | 127 | 478 | 894 |1127 |4700 | 1 | 345 |1223 | 1.656943e+02 | 1.900000e+02 | 14.67%| unknown
256.99/257.99 c 258s| 3500 | 1065 | 2277k| 494.6 | 298M | 127 | 478 | 894 |1130 |4885 | 2 | 352 |1228 | 1.657035e+02 | 1.900000e+02 | 14.66%| unknown
259.48/260.47 c 260s| 3600 | 1085 | 2300k| 488.8 | 298M | 127 | 478 | 894 | 969 |5057 | 1 | 363 |1230 | 1.657123e+02 | 1.900000e+02 | 14.66%| unknown
262.97/263.91 c 264s| 3700 | 1117 | 2333k| 485.5 | 298M | 127 | 478 | 894 |1130 |5210 | 0 | 373 |1235 | 1.657156e+02 | 1.900000e+02 | 14.65%| unknown
265.96/266.98 c 267s| 3800 | 1135 | 2357k| 480.5 | 299M | 127 | 478 | 894 | 966 |5328 | 1 | 382 |1237 | 1.657178e+02 | 1.900000e+02 | 14.65%| unknown
268.25/269.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
268.25/269.25 c 269s| 3900 | 1157 | 2382k| 475.8 | 299M | 127 | 478 | 896 |1129 |5455 | 1 | 395 |1237 | 1.657249e+02 | 1.900000e+02 | 14.65%| unknown
269.25/270.26 c 270s| 4000 | 1151 | 2399k| 469.8 | 299M | 127 | 478 | 896 |1130 |5468 | 0 | 415 |1238 | 1.657249e+02 | 1.900000e+02 | 14.65%| unknown
272.74/273.78 c 274s| 4100 | 1187 | 2433k| 467.2 | 299M | 127 | 478 | 895 |1129 |5652 | 4 | 422 |1239 | 1.657321e+02 | 1.900000e+02 | 14.64%| unknown
273.53/274.56 c 275s| 4200 | 1185 | 2447k| 461.0 | 299M | 127 | 478 | 895 |1130 |5660 | 1 | 436 |1239 | 1.657321e+02 | 1.900000e+02 | 14.64%| unknown
275.62/276.63 c 277s| 4300 | 1201 | 2469k| 456.4 | 299M | 127 | 478 | 895 |1126 |5770 | 0 | 444 |1239 | 1.657394e+02 | 1.900000e+02 | 14.64%| unknown
279.02/280.03 c 280s| 4400 | 1237 | 2500k| 453.9 | 299M | 127 | 478 | 895 |1128 |5962 | 1 | 454 |1239 | 1.657469e+02 | 1.900000e+02 | 14.63%| unknown
283.11/284.12 c 284s| 4500 | 1267 | 2537k| 452.3 | 299M | 127 | 478 | 895 | 975 |6209 | 1 | 468 |1239 | 1.657585e+02 | 1.900000e+02 | 14.62%| unknown
285.49/286.57 c 287s| 4600 | 1293 | 2567k| 449.5 | 299M | 127 | 478 | 895 |1134 |6289 | 1 | 480 |1239 | 1.657680e+02 | 1.900000e+02 | 14.62%| unknown
286.38/287.49 c 287s| 4700 | 1301 | 2583k| 444.5 | 299M | 127 | 478 | 895 |1132 |6321 | 1 | 495 |1239 | 1.657680e+02 | 1.900000e+02 | 14.62%| unknown
290.27/291.34 c 291s| 4800 | 1321 | 2628k| 444.7 | 299M | 127 | 478 | 895 | 986 |6524 | 1 | 509 |1239 | 1.657752e+02 | 1.900000e+02 | 14.61%| unknown
295.35/296.41 c 296s| 4900 | 1361 | 2668k| 443.9 | 299M | 127 | 478 | 896 |1126 |6728 | 0 | 515 |1252 | 1.657854e+02 | 1.900000e+02 | 14.61%| unknown
297.24/298.33 c 298s| 5000 | 1379 | 2693k| 440.7 | 299M | 127 | 478 | 896 |1132 |6843 | 1 | 527 |1263 | 1.657971e+02 | 1.900000e+02 | 14.60%| unknown
302.32/303.46 c 303s| 5100 | 1407 | 2731k| 439.6 | 299M | 127 | 478 | 897 | 970 |7056 | 1 | 545 |1281 | 1.658043e+02 | 1.900000e+02 | 14.59%| unknown
305.51/306.67 c 307s| 5200 | 1435 | 2764k| 437.9 | 300M | 127 | 478 | 898 |1130 |7148 | 1 | 554 |1287 | 1.658051e+02 | 1.900000e+02 | 14.59%| unknown
309.70/310.88 c 311s| 5300 | 1461 | 2798k| 436.3 | 300M | 127 | 478 | 898 |1131 |7389 | 1 | 573 |1306 | 1.658077e+02 | 1.900000e+02 | 14.59%| unknown
314.68/315.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
314.68/315.82 c 316s| 5400 | 1499 | 2840k| 436.2 | 300M | 127 | 478 | 898 |1127 |7636 | 1 | 585 |1308 | 1.658220e+02 | 1.900000e+02 | 14.58%| unknown
316.98/318.16 c 318s| 5500 | 1529 | 2868k| 433.8 | 300M | 127 | 478 | 898 |1131 |7739 | 4 | 603 |1310 | 1.658242e+02 | 1.900000e+02 | 14.58%| unknown
319.46/320.68 c 321s| 5600 | 1537 | 2894k| 431.2 | 300M | 127 | 478 | 898 |1132 |7818 | 3 | 626 |1312 | 1.658246e+02 | 1.900000e+02 | 14.58%| unknown
321.65/322.86 c 323s| 5700 | 1553 | 2918k| 428.3 | 300M | 127 | 478 | 898 |1133 |7886 | 2 | 636 |1315 | 1.658257e+02 | 1.900000e+02 | 14.58%| unknown
324.04/325.29 c 325s| 5800 | 1577 | 2945k| 426.0 | 300M | 127 | 478 | 896 | 962 |8035 | 1 | 651 |1316 | 1.658257e+02 | 1.900000e+02 | 14.58%| unknown
328.23/329.49 c 329s| 5900 | 1605 | 2984k| 425.5 | 300M | 127 | 478 | 896 |1133 |8273 | 1 | 669 |1316 | 1.658262e+02 | 1.900000e+02 | 14.58%| unknown
332.31/333.54 c 334s| 6000 | 1635 | 3018k| 424.3 | 300M | 127 | 478 | 896 | 981 |8526 | 1 | 682 |1316 | 1.658283e+02 | 1.900000e+02 | 14.58%| unknown
336.20/337.41 c 337s| 6100 | 1663 | 3056k| 423.7 | 300M | 127 | 478 | 896 |1128 |8740 | 1 | 696 |1316 | 1.658284e+02 | 1.900000e+02 | 14.58%| unknown
339.38/340.68 c 341s| 6200 | 1677 | 3085k| 421.7 | 301M | 127 | 478 | 896 | 978 |8926 | 1 | 710 |1318 | 1.658323e+02 | 1.900000e+02 | 14.57%| unknown
342.88/344.13 c 344s| 6300 | 1745 | 3119k| 420.7 | 301M | 127 | 478 | 896 |1136 |9127 | 0 | 718 |1319 | 1.658331e+02 | 1.900000e+02 | 14.57%| unknown
345.96/347.26 c 347s| 6400 | 1793 | 3149k| 419.1 | 301M | 127 | 478 | 895 |1130 |9329 | 1 | 724 |1320 | 1.658363e+02 | 1.900000e+02 | 14.57%| unknown
348.76/350.03 c 350s| 6500 | 1817 | 3189k| 418.8 | 301M | 127 | 478 | 895 |1128 |9454 | 2 | 739 |1322 | 1.658372e+02 | 1.900000e+02 | 14.57%| unknown
351.14/352.40 c 352s| 6600 | 1827 | 3211k| 416.3 | 301M | 127 | 478 | 896 |1131 |9584 | 1 | 756 |1322 | 1.658447e+02 | 1.900000e+02 | 14.57%| unknown
354.84/356.16 c 356s| 6700 | 1849 | 3242k| 414.9 | 301M | 127 | 478 | 898 |1132 |9762 | 2 | 766 |1332 | 1.658519e+02 | 1.900000e+02 | 14.56%| unknown
355.73/357.03 c 357s| 6800 | 1873 | 3257k| 411.5 | 301M | 127 | 478 | 898 |1132 |9787 | 1 | 783 |1338 | 1.658519e+02 | 1.900000e+02 | 14.56%| unknown
359.82/361.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
359.82/361.16 c 361s| 6900 | 1901 | 3289k| 410.3 | 301M | 127 | 478 | 898 |1134 |9984 | 1 | 799 |1355 | 1.658634e+02 | 1.900000e+02 | 14.55%| unknown
363.49/364.81 c 365s| 7000 | 1925 | 3318k| 408.8 | 301M | 127 | 478 | 898 |1135 | 10k| 1 | 816 |1363 | 1.658674e+02 | 1.900000e+02 | 14.55%| unknown
366.28/367.65 c 368s| 7100 | 1945 | 3344k| 407.0 | 301M | 127 | 478 | 898 |1131 | 10k| 1 | 824 |1367 | 1.658717e+02 | 1.900000e+02 | 14.55%| unknown
369.78/371.14 c 371s| 7200 | 1969 | 3375k| 405.8 | 301M | 127 | 478 | 898 |1139 | 10k| 1 | 840 |1372 | 1.658717e+02 | 1.900000e+02 | 14.55%| unknown
370.57/371.99 c 372s| 7300 | 1977 | 3390k| 402.7 | 301M | 127 | 478 | 898 |1134 | 10k| 1 | 854 |1373 | 1.658717e+02 | 1.900000e+02 | 14.55%| unknown
373.26/374.60 c 375s| 7400 | 1997 | 3425k| 402.2 | 301M | 127 | 478 | 898 |1134 | 10k| 1 | 866 |1375 | 1.658717e+02 | 1.900000e+02 | 14.55%| unknown
377.65/379.06 c 379s| 7500 | 2045 | 3464k| 402.0 | 301M | 127 | 478 | 897 |1134 | 10k| 2 | 878 |1381 | 1.658782e+02 | 1.900000e+02 | 14.54%| unknown
379.83/381.24 c 381s| 7600 | 2063 | 3483k| 399.5 | 301M | 127 | 478 | 897 |1137 | 10k| 1 | 887 |1383 | 1.658849e+02 | 1.900000e+02 | 14.54%| unknown
382.92/384.34 c 384s| 7700 | 2085 | 3510k| 398.0 | 301M | 127 | 478 | 896 |1136 | 11k| 0 | 897 |1387 | 1.658876e+02 | 1.900000e+02 | 14.54%| unknown
386.01/387.44 c 387s| 7800 | 2107 | 3539k| 396.8 | 301M | 127 | 478 | 896 |1135 | 11k| 2 | 907 |1391 | 1.658990e+02 | 1.900000e+02 | 14.53%| unknown
389.10/390.55 c 391s| 7900 | 2129 | 3564k| 395.2 | 301M | 127 | 478 | 896 |1134 | 11k| 1 | 919 |1394 | 1.659030e+02 | 1.900000e+02 | 14.52%| unknown
391.79/393.27 c 393s| 8000 | 2153 | 3588k| 393.5 | 302M | 127 | 478 | 896 | 973 | 11k| 1 | 928 |1396 | 1.659043e+02 | 1.900000e+02 | 14.52%| unknown
394.48/395.92 c 396s| 8100 | 2177 | 3616k| 392.2 | 302M | 127 | 478 | 896 | 949 | 11k| 1 | 938 |1396 | 1.659059e+02 | 1.900000e+02 | 14.52%| unknown
395.68/397.17 c 397s| 8200 | 2195 | 3637k| 390.3 | 302M | 127 | 478 | 896 |1137 | 11k| 1 | 948 |1396 | 1.659059e+02 | 1.900000e+02 | 14.52%| unknown
399.16/400.61 c 401s| 8300 | 2221 | 3668k| 389.4 | 302M | 127 | 478 | 896 |1133 | 12k| 1 | 960 |1397 | 1.659113e+02 | 1.900000e+02 | 14.52%| unknown
400.85/402.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
400.85/402.37 c 402s| 8400 | 2229 | 3689k| 387.5 | 302M | 127 | 478 | 896 |1138 | 12k| 1 | 974 |1398 | 1.659150e+02 | 1.900000e+02 | 14.52%| unknown
403.74/405.30 c 405s| 8500 | 2245 | 3722k| 386.9 | 302M | 127 | 478 | 896 |1138 | 12k| 2 | 994 |1398 | 1.659189e+02 | 1.900000e+02 | 14.51%| unknown
408.82/410.32 c 410s| 8600 | 2295 | 3764k| 387.2 | 302M | 127 | 478 | 896 | 951 | 12k| 1 | 998 |1399 | 1.659383e+02 | 1.900000e+02 | 14.50%| unknown
410.32/411.80 c 412s| 8700 | 2299 | 3785k| 385.4 | 302M | 127 | 478 | 896 |1136 | 12k| 0 |1014 |1399 | 1.659383e+02 | 1.900000e+02 | 14.50%| unknown
413.52/415.08 c 415s| 8800 | 2329 | 3816k| 384.7 | 302M | 127 | 478 | 896 |1140 | 12k| 1 |1027 |1400 | 1.659420e+02 | 1.900000e+02 | 14.50%| unknown
417.79/419.34 c 419s| 8900 | 2375 | 3855k| 384.7 | 302M | 127 | 478 | 896 |1139 | 13k| 1 |1041 |1400 | 1.659481e+02 | 1.900000e+02 | 14.49%| unknown
418.69/420.29 c 420s| 9000 | 2383 | 3874k| 382.8 | 302M | 127 | 478 | 896 |1141 | 13k| 1 |1056 |1400 | 1.659481e+02 | 1.900000e+02 | 14.49%| unknown
423.27/424.89 c 425s| 9100 | 2419 | 3915k| 383.0 | 302M | 127 | 478 | 896 |1140 | 13k| 1 |1066 |1401 | 1.659573e+02 | 1.900000e+02 | 14.49%| unknown
426.16/427.79 c 428s| 9200 | 2449 | 3943k| 382.1 | 302M | 127 | 478 | 896 |1138 | 13k| 1 |1079 |1401 | 1.659610e+02 | 1.900000e+02 | 14.48%| unknown
429.25/430.87 c 431s| 9300 | 2471 | 3974k| 381.4 | 302M | 127 | 478 | 896 |1139 | 13k| 4 |1094 |1401 | 1.659667e+02 | 1.900000e+02 | 14.48%| unknown
431.24/432.83 c 433s| 9400 | 2489 | 4000k| 380.2 | 302M | 127 | 478 | 896 |1138 | 13k| 2 |1106 |1402 | 1.659668e+02 | 1.900000e+02 | 14.48%| unknown
434.63/436.22 c 436s| 9500 | 2515 | 4035k| 379.9 | 303M | 127 | 478 | 896 |1140 | 13k| 1 |1121 |1403 | 1.659725e+02 | 1.900000e+02 | 14.48%| unknown
438.81/440.47 c 440s| 9600 | 2553 | 4072k| 379.9 | 303M | 127 | 478 | 896 |1141 | 14k| 3 |1130 |1403 | 1.659768e+02 | 1.900000e+02 | 14.47%| unknown
443.59/445.29 c 445s| 9700 | 2595 | 4114k| 380.2 | 303M | 127 | 478 | 895 |1140 | 14k| 1 |1139 |1404 | 1.659858e+02 | 1.900000e+02 | 14.47%| unknown
445.58/447.27 c 447s| 9800 | 2611 | 4136k| 378.7 | 303M | 127 | 478 | 895 |1135 | 14k| 1 |1147 |1404 | 1.659876e+02 | 1.900000e+02 | 14.47%| unknown
447.49/449.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
447.49/449.18 c 449s| 9900 | 2631 | 4158k| 377.3 | 303M | 127 | 478 | 895 |1138 | 14k| 1 |1161 |1404 | 1.659933e+02 | 1.900000e+02 | 14.46%| unknown
450.76/452.46 c 452s| 10000 | 2651 | 4189k| 376.7 | 303M | 127 | 478 | 895 |1137 | 14k| 2 |1178 |1406 | 1.659945e+02 | 1.900000e+02 | 14.46%| unknown
453.75/455.43 c 455s| 10100 | 2667 | 4215k| 375.6 | 303M | 127 | 478 | 895 | 983 | 15k| 1 |1191 |1410 | 1.659952e+02 | 1.900000e+02 | 14.46%| unknown
457.74/459.43 c 459s| 10200 | 2697 | 4251k| 375.4 | 303M | 127 | 478 | 895 |1138 | 15k| 1 |1205 |1416 | 1.659984e+02 | 1.900000e+02 | 14.46%| unknown
462.43/464.19 c 464s| 10300 | 2741 | 4289k| 375.5 | 303M | 127 | 478 | 895 |1134 | 15k| 3 |1214 |1430 | 1.660029e+02 | 1.900000e+02 | 14.46%| unknown
465.81/467.54 c 468s| 10400 | 2761 | 4334k| 376.2 | 303M | 127 | 478 | 895 |1140 | 15k| 1 |1226 |1438 | 1.660085e+02 | 1.900000e+02 | 14.45%| unknown
468.70/470.48 c 470s| 10500 | 2785 | 4365k| 375.6 | 303M | 127 | 478 | 895 |1138 | 15k| 2 |1244 |1442 | 1.660110e+02 | 1.900000e+02 | 14.45%| unknown
474.08/475.88 c 476s| 10600 | 2831 | 4411k| 376.3 | 303M | 127 | 478 | 895 | 978 | 16k| 1 |1253 |1451 | 1.660208e+02 | 1.900000e+02 | 14.44%| unknown
477.57/479.33 c 479s| 10700 | 2859 | 4445k| 376.0 | 303M | 127 | 478 | 895 | 976 | 16k| 1 |1268 |1452 | 1.660235e+02 | 1.900000e+02 | 14.44%| unknown
480.37/482.16 c 482s| 10800 | 2869 | 4478k| 375.6 | 303M | 127 | 478 | 895 |1140 | 16k| 0 |1279 |1452 | 1.660239e+02 | 1.900000e+02 | 14.44%| unknown
483.54/485.38 c 485s| 10900 | 2897 | 4511k| 375.2 | 303M | 127 | 478 | 895 |1140 | 16k| 1 |1293 |1453 | 1.660240e+02 | 1.900000e+02 | 14.44%| unknown
485.83/487.62 c 488s| 11000 | 2919 | 4535k| 374.1 | 303M | 127 | 478 | 895 |1133 | 16k| 2 |1306 |1455 | 1.660277e+02 | 1.900000e+02 | 14.44%| unknown
488.52/490.37 c 490s| 11100 | 2945 | 4566k| 373.6 | 303M | 127 | 478 | 895 |1134 | 16k| 2 |1321 |1455 | 1.660332e+02 | 1.900000e+02 | 14.43%| unknown
491.51/493.39 c 493s| 11200 | 2971 | 4598k| 373.1 | 303M | 127 | 478 | 894 |1135 | 17k| 2 |1337 |1458 | 1.660357e+02 | 1.900000e+02 | 14.43%| unknown
493.71/495.51 c 496s| 11300 | 2983 | 4621k| 372.0 | 303M | 127 | 478 | 893 |1133 | 17k| 1 |1356 |1458 | 1.660373e+02 | 1.900000e+02 | 14.43%| unknown
496.50/498.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
496.50/498.30 c 498s| 11400 | 3015 | 4649k| 371.2 | 303M | 127 | 478 | 893 |1141 | 17k| 3 |1364 |1461 | 1.660401e+02 | 1.900000e+02 | 14.43%| unknown
499.09/500.95 c 501s| 11500 | 3041 | 4678k| 370.6 | 303M | 127 | 478 | 893 |1138 | 17k| 1 |1379 |1463 | 1.660411e+02 | 1.900000e+02 | 14.43%| unknown
501.08/502.92 c 503s| 11600 | 3055 | 4702k| 369.5 | 303M | 127 | 478 | 893 |1133 | 17k| 2 |1400 |1464 | 1.660444e+02 | 1.900000e+02 | 14.43%| unknown
503.87/505.77 c 506s| 11700 | 3079 | 4732k| 369.0 | 303M | 127 | 478 | 892 |1136 | 17k| 1 |1413 |1464 | 1.660454e+02 | 1.900000e+02 | 14.43%| unknown
508.75/510.63 c 511s| 11800 | 3121 | 4774k| 369.4 | 303M | 127 | 478 | 891 |1134 | 17k| 1 |1428 |1466 | 1.660464e+02 | 1.900000e+02 | 14.43%| unknown
514.14/516.07 c 516s| 11900 | 3179 | 4823k| 370.3 | 303M | 127 | 478 | 893 |1136 | 18k| 1 |1436 |1468 | 1.660519e+02 | 1.900000e+02 | 14.42%| unknown
516.52/518.43 c 518s| 12000 | 3205 | 4847k| 369.3 | 303M | 127 | 478 | 892 | 970 | 18k| 1 |1443 |1468 | 1.660530e+02 | 1.900000e+02 | 14.42%| unknown
520.81/522.79 c 523s| 12100 | 3233 | 4882k| 369.2 | 304M | 127 | 478 | 892 |1140 | 18k| 3 |1455 |1473 | 1.660534e+02 | 1.900000e+02 | 14.42%| unknown
524.59/526.56 c 527s| 12200 | 3253 | 4916k| 369.0 | 304M | 127 | 478 | 893 |1137 | 18k| 1 |1472 |1487 | 1.660556e+02 | 1.900000e+02 | 14.42%| unknown
525.39/527.31 c 527s| 12300 | 3247 | 4930k| 367.3 | 304M | 127 | 478 | 893 |1135 | 18k| 0 |1481 |1490 | 1.660556e+02 | 1.900000e+02 | 14.42%| unknown
529.27/531.25 c 531s| 12400 | 3285 | 4967k| 367.3 | 304M | 127 | 478 | 893 |1138 | 19k| 1 |1499 |1495 | 1.660574e+02 | 1.900000e+02 | 14.42%| unknown
530.08/532.11 c 532s| 12500 | 3289 | 4983k| 365.8 | 304M | 127 | 478 | 893 |1144 | 19k| 1 |1515 |1495 | 1.660574e+02 | 1.900000e+02 | 14.42%| unknown
535.16/537.19 c 537s| 12600 | 3333 | 5023k| 366.0 | 304M | 127 | 478 | 893 |1142 | 19k| 1 |1525 |1506 | 1.660629e+02 | 1.900000e+02 | 14.41%| unknown
537.16/539.18 c 539s| 12700 | 3349 | 5044k| 364.9 | 304M | 127 | 478 | 893 |1146 | 19k| 1 |1538 |1507 | 1.660649e+02 | 1.900000e+02 | 14.41%| unknown
540.04/542.05 c 542s| 12800 | 3369 | 5071k| 364.2 | 304M | 127 | 478 | 893 | 979 | 19k| 1 |1547 |1511 | 1.660671e+02 | 1.900000e+02 | 14.41%| unknown
543.92/545.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
543.92/545.96 c 546s| 12900 | 3393 | 5115k| 364.8 | 304M | 127 | 478 | 893 | 981 | 19k| 1 |1561 |1512 | 1.660679e+02 | 1.900000e+02 | 14.41%| unknown
545.91/547.95 c 548s| 13000 | 3403 | 5138k| 363.8 | 304M | 127 | 478 | 893 | 972 | 19k| 1 |1577 |1515 | 1.660688e+02 | 1.900000e+02 | 14.41%| unknown
550.20/552.26 c 552s| 13100 | 3443 | 5178k| 364.0 | 304M | 127 | 478 | 892 | 970 | 20k| 1 |1593 |1516 | 1.660737e+02 | 1.900000e+02 | 14.41%| unknown
553.78/555.83 c 556s| 13200 | 3479 | 5214k| 364.0 | 304M | 127 | 478 | 892 |1136 | 20k| 1 |1607 |1517 | 1.660746e+02 | 1.900000e+02 | 14.41%| unknown
558.27/560.39 c 560s| 13300 | 3519 | 5254k| 364.2 | 304M | 127 | 478 | 893 |1139 | 20k| 0 |1616 |1519 | 1.660761e+02 | 1.900000e+02 | 14.41%| unknown
564.84/566.98 c 567s| 13400 | 3579 | 5305k| 365.3 | 305M | 127 | 478 | 893 | 987 | 21k| 1 |1630 |1521 | 1.660779e+02 | 1.900000e+02 | 14.40%| unknown
567.05/569.11 c 569s| 13500 | 3601 | 5328k| 364.3 | 305M | 127 | 478 | 893 |1146 | 21k| 1 |1637 |1524 | 1.660779e+02 | 1.900000e+02 | 14.40%| unknown
569.33/571.41 c 571s| 13600 | 3605 | 5352k| 363.5 | 305M | 127 | 478 | 893 |1149 | 21k| 1 |1653 |1524 | 1.660783e+02 | 1.900000e+02 | 14.40%| unknown
571.52/573.62 c 574s| 13700 | 3615 | 5378k| 362.8 | 305M | 127 | 478 | 893 |1145 | 21k| 1 |1669 |1524 | 1.660825e+02 | 1.900000e+02 | 14.40%| unknown
575.20/577.40 c 577s| 13800 | 3647 | 5411k| 362.6 | 305M | 127 | 478 | 893 | 976 | 21k| 1 |1678 |1524 | 1.660861e+02 | 1.900000e+02 | 14.40%| unknown
577.91/580.05 c 580s| 13900 | 3659 | 5440k| 362.1 | 305M | 127 | 478 | 893 |1137 | 21k| 0 |1694 |1524 | 1.660880e+02 | 1.900000e+02 | 14.40%| unknown
579.59/581.74 c 582s| 14000 | 3671 | 5459k| 360.9 | 305M | 127 | 478 | 893 | 977 | 22k| 1 |1705 |1526 | 1.660952e+02 | 1.900000e+02 | 14.39%| unknown
582.18/584.37 c 584s| 14100 | 3679 | 5489k| 360.5 | 305M | 127 | 478 | 893 |1142 | 22k| 2 |1716 |1526 | 1.660986e+02 | 1.900000e+02 | 14.39%| unknown
586.26/588.46 c 588s| 14200 | 3709 | 5525k| 360.5 | 305M | 127 | 478 | 893 | 964 | 22k| 1 |1734 |1530 | 1.661017e+02 | 1.900000e+02 | 14.39%| unknown
592.04/594.27 c 594s| 14300 | 3743 | 5567k| 360.9 | 306M | 127 | 478 | 893 | 992 | 22k| 1 |1744 |1540 | 1.661059e+02 | 1.900000e+02 | 14.38%| unknown
593.64/595.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
593.64/595.85 c 596s| 14400 | 3749 | 5591k| 360.1 | 306M | 127 | 478 | 893 |1144 | 22k| 1 |1761 |1547 | 1.661059e+02 | 1.900000e+02 | 14.38%| unknown
596.42/598.69 c 599s| 14500 | 3773 | 5618k| 359.5 | 306M | 127 | 478 | 893 |1145 | 23k| 1 |1771 |1556 | 1.661089e+02 | 1.900000e+02 | 14.38%| unknown
598.93/601.12 c 601s| 14600 | 3785 | 5642k| 358.8 | 306M | 127 | 478 | 893 |1144 | 23k| 1 |1790 |1560 | 1.661096e+02 | 1.900000e+02 | 14.38%| unknown
605.99/608.27 c 608s| 14700 | 3829 | 5693k| 359.7 | 306M | 127 | 478 | 893 |1144 | 23k| 1 |1800 |1578 | 1.661214e+02 | 1.900000e+02 | 14.37%| unknown
608.48/610.75 c 611s| 14800 | 3851 | 5723k| 359.4 | 306M | 127 | 478 | 893 |1136 | 23k| 1 |1814 |1580 | 1.661266e+02 | 1.900000e+02 | 14.37%| unknown
610.67/613.01 c 613s| 14900 | 3863 | 5750k| 358.8 | 306M | 127 | 478 | 893 |1143 | 23k| 2 |1830 |1580 | 1.661278e+02 | 1.900000e+02 | 14.37%| unknown
613.96/616.26 c 616s| 15000 | 3889 | 5784k| 358.7 | 306M | 127 | 478 | 893 |1142 | 23k| 1 |1844 |1583 | 1.661313e+02 | 1.900000e+02 | 14.37%| unknown
617.76/620.05 c 620s| 15100 | 3913 | 5822k| 358.8 | 306M | 127 | 478 | 893 |1131 | 24k| 0 |1857 |1588 | 1.661332e+02 | 1.900000e+02 | 14.37%| unknown
623.03/625.35 c 625s| 15200 | 3947 | 5880k| 360.2 | 306M | 127 | 478 | 893 |1128 | 24k| 1 |1872 |1591 | 1.661354e+02 | 1.900000e+02 | 14.36%| unknown
624.92/627.23 c 627s| 15300 | 3991 | 5904k| 359.4 | 306M | 127 | 478 | 893 |1139 | 24k| 3 |1884 |1594 | 1.661377e+02 | 1.900000e+02 | 14.36%| unknown
627.31/629.65 c 630s| 15400 | 4017 | 5931k| 358.9 | 306M | 127 | 478 | 893 |1140 | 24k| 1 |1894 |1594 | 1.661384e+02 | 1.900000e+02 | 14.36%| unknown
629.90/632.29 c 632s| 15500 | 4043 | 5961k| 358.5 | 306M | 127 | 478 | 893 |1138 | 24k| 2 |1911 |1595 | 1.661392e+02 | 1.900000e+02 | 14.36%| unknown
631.99/634.36 c 634s| 15600 | 4063 | 5983k| 357.7 | 307M | 127 | 478 | 893 |1138 | 24k| 0 |1926 |1595 | 1.661451e+02 | 1.900000e+02 | 14.36%| unknown
636.18/638.52 c 639s| 15700 | 4101 | 6018k| 357.6 | 307M | 127 | 478 | 892 | 970 | 25k| 1 |1935 |1596 | 1.661467e+02 | 1.900000e+02 | 14.36%| unknown
638.47/640.83 c 641s| 15800 | 4119 | 6045k| 357.1 | 307M | 127 | 478 | 892 |1138 | 25k| 1 |1950 |1596 | 1.661497e+02 | 1.900000e+02 | 14.35%| unknown
641.46/643.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
641.46/643.81 c 644s| 15900 | 4143 | 6073k| 356.7 | 307M | 127 | 478 | 892 |1145 | 25k| 0 |1959 |1598 | 1.661514e+02 | 1.900000e+02 | 14.35%| unknown
645.65/648.11 c 648s| 16000 | 4181 | 6114k| 357.0 | 307M | 127 | 478 | 892 |1142 | 25k| 2 |1972 |1601 | 1.661563e+02 | 1.900000e+02 | 14.35%| unknown
651.22/653.63 c 654s| 16100 | 4233 | 6155k| 357.3 | 310M | 127 | 478 | 892 | 983 | 25k| 1 |1976 |1601 | 1.661618e+02 | 1.900000e+02 | 14.35%| unknown
654.01/656.43 c 656s| 16200 | 4271 | 6185k| 357.0 | 310M | 127 | 478 | 891 |1144 | 26k| 2 |1990 |1601 | 1.661637e+02 | 1.900000e+02 | 14.35%| unknown
655.80/658.21 c 658s| 16300 | 4283 | 6206k| 356.1 | 310M | 127 | 478 | 891 |1143 | 26k| 2 |1999 |1601 | 1.661637e+02 | 1.900000e+02 | 14.35%| unknown
659.40/661.88 c 662s| 16400 | 4321 | 6241k| 356.1 | 310M | 127 | 478 | 891 |1145 | 26k| 2 |2003 |1602 | 1.661657e+02 | 1.900000e+02 | 14.34%| unknown
662.49/664.95 c 665s| 16500 | 4345 | 6269k| 355.7 | 310M | 127 | 478 | 891 |1146 | 26k| 0 |2017 |1603 | 1.661707e+02 | 1.900000e+02 | 14.34%| unknown
665.18/667.69 c 668s| 16600 | 4367 | 6298k| 355.3 | 311M | 127 | 478 | 890 |1144 | 26k| 0 |2030 |1605 | 1.661710e+02 | 1.900000e+02 | 14.34%| unknown
670.76/673.29 c 673s| 16700 | 4417 | 6345k| 355.9 | 311M | 127 | 478 | 890 |1143 | 27k| 1 |2031 |1615 | 1.661758e+02 | 1.900000e+02 | 14.34%| unknown
674.94/677.47 c 677s| 16800 | 4463 | 6382k| 356.0 | 311M | 127 | 478 | 890 |1145 | 27k| 1 |2039 |1623 | 1.661800e+02 | 1.900000e+02 | 14.33%| unknown
677.73/680.25 c 680s| 16900 | 4475 | 6407k| 355.4 | 311M | 127 | 478 | 890 |1145 | 27k| 0 |2054 |1630 | 1.661823e+02 | 1.900000e+02 | 14.33%| unknown
681.53/684.11 c 684s| 17000 | 4515 | 6442k| 355.4 | 311M | 127 | 478 | 890 | 967 | 27k| 1 |2067 |1635 | 1.661836e+02 | 1.900000e+02 | 14.33%| unknown
684.91/687.45 c 687s| 17100 | 4541 | 6476k| 355.3 | 311M | 127 | 478 | 890 |1146 | 27k| 1 |2075 |1637 | 1.661865e+02 | 1.900000e+02 | 14.33%| unknown
688.19/690.76 c 691s| 17200 | 4565 | 6507k| 355.1 | 311M | 127 | 478 | 890 |1143 | 28k| 0 |2084 |1640 | 1.661883e+02 | 1.900000e+02 | 14.33%| unknown
692.78/695.33 c 695s| 17300 | 4599 | 6545k| 355.2 | 311M | 127 | 478 | 889 |1142 | 28k| 1 |2096 |1642 | 1.661953e+02 | 1.900000e+02 | 14.32%| unknown
696.47/699.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
696.47/699.04 c 699s| 17400 | 4637 | 6580k| 355.2 | 311M | 127 | 478 | 889 |1134 | 28k| 1 |2101 |1643 | 1.661987e+02 | 1.900000e+02 | 14.32%| unknown
699.15/701.79 c 702s| 17500 | 4659 | 6604k| 354.5 | 311M | 127 | 478 | 889 | 971 | 28k| 1 |2111 |1644 | 1.662006e+02 | 1.900000e+02 | 14.32%| unknown
700.95/703.56 c 704s| 17600 | 4665 | 6630k| 354.1 | 311M | 127 | 478 | 889 |1141 | 28k| 1 |2133 |1645 | 1.662006e+02 | 1.900000e+02 | 14.32%| unknown
703.14/705.73 c 706s| 17700 | 4679 | 6656k| 353.6 | 311M | 127 | 478 | 889 |1144 | 29k| 2 |2150 |1645 | 1.662007e+02 | 1.900000e+02 | 14.32%| unknown
708.12/710.73 c 711s| 17800 | 4729 | 6699k| 354.0 | 311M | 127 | 478 | 889 | 971 | 29k| 1 |2165 |1647 | 1.662024e+02 | 1.900000e+02 | 14.32%| unknown
712.80/715.49 c 715s| 17900 | 4777 | 6757k| 355.1 | 311M | 127 | 478 | 889 |1146 | 29k| 1 |2173 |1648 | 1.662029e+02 | 1.900000e+02 | 14.32%| unknown
716.99/719.68 c 720s| 18000 | 4813 | 6789k| 354.9 | 312M | 127 | 478 | 892 | 964 | 29k| 1 |2190 |1648 | 1.662043e+02 | 1.900000e+02 | 14.32%| unknown
720.67/723.31 c 723s| 18100 | 4841 | 6824k| 354.9 | 312M | 127 | 478 | 892 |1141 | 30k| 1 |2210 |1648 | 1.662047e+02 | 1.900000e+02 | 14.32%| unknown
722.17/724.85 c 725s| 18200 | 4857 | 6841k| 354.0 | 312M | 127 | 478 | 892 | 974 | 30k| 1 |2225 |1648 | 1.662049e+02 | 1.900000e+02 | 14.32%| unknown
725.06/727.72 c 728s| 18300 | 4903 | 6872k| 353.7 | 312M | 127 | 478 | 892 |1149 | 30k| 3 |2233 |1650 | 1.662052e+02 | 1.900000e+02 | 14.32%| unknown
728.74/731.47 c 731s| 18400 | 4935 | 6907k| 353.7 | 312M | 127 | 478 | 892 |1146 | 30k| 4 |2248 |1651 | 1.662077e+02 | 1.900000e+02 | 14.31%| unknown
730.94/733.65 c 734s| 18500 | 4953 | 6933k| 353.3 | 312M | 127 | 478 | 892 |1145 | 30k| 1 |2264 |1651 | 1.662086e+02 | 1.900000e+02 | 14.31%| unknown
734.34/737.02 c 737s| 18600 | 4979 | 6966k| 353.1 | 312M | 127 | 478 | 892 |1150 | 30k| 1 |2283 |1651 | 1.662117e+02 | 1.900000e+02 | 14.31%| unknown
735.12/737.88 c 738s| 18700 | 4981 | 6981k| 352.1 | 312M | 127 | 478 | 892 |1144 | 30k| 0 |2300 |1651 | 1.662117e+02 | 1.900000e+02 | 14.31%| unknown
738.61/741.38 c 741s| 18800 | 5003 | 7012k| 351.9 | 312M | 127 | 478 | 892 |1143 | 31k| 0 |2316 |1655 | 1.662158e+02 | 1.900000e+02 | 14.31%| unknown
743.79/746.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
743.79/746.54 c 747s| 18900 | 5053 | 7052k| 352.1 | 312M | 127 | 478 | 892 |1144 | 31k| 1 |2323 |1665 | 1.662173e+02 | 1.900000e+02 | 14.31%| unknown
745.68/748.48 c 748s| 19000 | 5067 | 7075k| 351.5 | 312M | 127 | 478 | 892 |1150 | 31k| 1 |2335 |1668 | 1.662183e+02 | 1.900000e+02 | 14.31%| unknown
748.77/751.55 c 752s| 19100 | 5097 | 7108k| 351.4 | 312M | 127 | 478 | 892 |1148 | 31k| 2 |2352 |1674 | 1.662211e+02 | 1.900000e+02 | 14.31%| unknown
751.46/754.27 c 754s| 19200 | 5109 | 7134k| 351.0 | 313M | 127 | 478 | 892 |1150 | 31k| 1 |2372 |1680 | 1.662215e+02 | 1.900000e+02 | 14.31%| unknown
754.36/757.15 c 757s| 19300 | 5129 | 7157k| 350.4 | 313M | 127 | 478 | 892 | 982 | 31k| 1 |2385 |1684 | 1.662242e+02 | 1.900000e+02 | 14.30%| unknown
756.84/759.60 c 760s| 19400 | 5149 | 7187k| 350.1 | 313M | 127 | 478 | 892 |1150 | 32k| 1 |2401 |1685 | 1.662251e+02 | 1.900000e+02 | 14.30%| unknown
758.93/761.76 c 762s| 19500 | 5163 | 7210k| 349.5 | 313M | 127 | 478 | 892 |1148 | 32k| 2 |2414 |1685 | 1.662253e+02 | 1.900000e+02 | 14.30%| unknown
762.62/765.40 c 765s| 19600 | 5197 | 7244k| 349.5 | 313M | 127 | 478 | 891 |1146 | 32k| 1 |2424 |1687 | 1.662271e+02 | 1.900000e+02 | 14.30%| unknown
764.71/767.57 c 768s| 19700 | 5207 | 7268k| 349.0 | 313M | 127 | 478 | 891 |1149 | 32k| 2 |2435 |1688 | 1.662280e+02 | 1.900000e+02 | 14.30%| unknown
768.60/771.41 c 771s| 19800 | 5233 | 7301k| 348.9 | 313M | 127 | 478 | 891 |1147 | 32k| 1 |2446 |1689 | 1.662302e+02 | 1.900000e+02 | 14.30%| unknown
771.30/774.17 c 774s| 19900 | 5257 | 7333k| 348.7 | 313M | 127 | 478 | 891 |1149 | 32k| 0 |2462 |1691 | 1.662325e+02 | 1.900000e+02 | 14.30%| unknown
775.87/778.76 c 779s| 20000 | 5293 | 7374k| 349.0 | 313M | 127 | 478 | 891 |1149 | 33k| 2 |2472 |1693 | 1.662342e+02 | 1.900000e+02 | 14.30%| unknown
778.27/781.16 c 781s| 20100 | 5301 | 7400k| 348.6 | 313M | 127 | 478 | 891 |1146 | 33k| 1 |2488 |1693 | 1.662355e+02 | 1.900000e+02 | 14.30%| unknown
780.16/783.06 c 783s| 20200 | 5315 | 7421k| 348.0 | 313M | 127 | 478 | 891 |1146 | 33k| 2 |2502 |1694 | 1.662361e+02 | 1.900000e+02 | 14.30%| unknown
784.04/786.95 c 787s| 20300 | 5345 | 7458k| 348.0 | 313M | 127 | 478 | 891 |1147 | 33k| 2 |2516 |1695 | 1.662395e+02 | 1.900000e+02 | 14.29%| unknown
786.33/789.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
786.33/789.29 c 789s| 20400 | 5361 | 7485k| 347.7 | 313M | 127 | 478 | 891 |1154 | 33k| 0 |2526 |1695 | 1.662413e+02 | 1.900000e+02 | 14.29%| unknown
789.52/792.49 c 792s| 20500 | 5389 | 7519k| 347.6 | 313M | 127 | 478 | 891 |1139 | 33k| 2 |2536 |1695 | 1.662424e+02 | 1.900000e+02 | 14.29%| unknown
793.30/796.26 c 796s| 20600 | 5413 | 7552k| 347.6 | 313M | 127 | 478 | 890 | 984 | 34k| 1 |2546 |1695 | 1.662466e+02 | 1.900000e+02 | 14.29%| unknown
799.28/802.27 c 802s| 20700 | 5469 | 7603k| 348.3 | 313M | 127 | 478 | 890 |1141 | 34k| 1 |2550 |1695 | 1.662477e+02 | 1.900000e+02 | 14.29%| unknown
801.19/804.12 c 804s| 20800 | 5491 | 7629k| 347.9 | 313M | 127 | 478 | 890 |1148 | 34k| 1 |2571 |1696 | 1.662478e+02 | 1.900000e+02 | 14.29%| unknown
803.86/806.86 c 807s| 20900 | 5507 | 7659k| 347.7 | 313M | 127 | 478 | 890 |1001 | 34k| 3 |2588 |1698 | 1.662502e+02 | 1.900000e+02 | 14.29%| unknown
808.06/811.10 c 811s| 21000 | 5537 | 7712k| 348.5 | 313M | 127 | 478 | 897 |1147 | 35k| 1 |2604 |1701 | 1.662511e+02 | 1.900000e+02 | 14.28%| unknown
811.05/814.06 c 814s| 21100 | 5565 | 7743k| 348.4 | 313M | 127 | 478 | 897 |1144 | 35k| 2 |2612 |1701 | 1.662534e+02 | 1.900000e+02 | 14.28%| unknown
811.94/814.97 c 815s| 21200 | 5563 | 7760k| 347.6 | 313M | 127 | 478 | 897 |1143 | 35k| 2 |2632 |1704 | 1.662534e+02 | 1.900000e+02 | 14.28%| unknown
815.92/818.95 c 819s| 21300 | 5587 | 7795k| 347.5 | 313M | 127 | 478 | 897 |1144 | 35k| 3 |2648 |1715 | 1.662537e+02 | 1.900000e+02 | 14.28%| unknown
818.02/821.03 c 821s| 21400 | 5597 | 7815k| 346.9 | 313M | 127 | 478 | 897 |1146 | 35k| 0 |2656 |1723 | 1.662547e+02 | 1.900000e+02 | 14.28%| unknown
818.91/821.99 c 822s| 21500 | 5607 | 7833k| 346.1 | 313M | 127 | 478 | 897 |1135 | 35k| 1 |2669 |1723 | 1.662547e+02 | 1.900000e+02 | 14.28%| unknown
821.90/824.98 c 825s| 21600 | 5631 | 7861k| 345.9 | 313M | 127 | 478 | 897 | 975 | 35k| 1 |2680 |1728 | 1.662568e+02 | 1.900000e+02 | 14.28%| unknown
826.58/829.68 c 830s| 21700 | 5667 | 7904k| 346.2 | 313M | 127 | 478 | 897 | 980 | 35k| 1 |2694 |1734 | 1.662617e+02 | 1.900000e+02 | 14.28%| unknown
828.47/831.59 c 832s| 21800 | 5675 | 7932k| 345.9 | 313M | 127 | 478 | 897 |1141 | 36k| 0 |2710 |1735 | 1.662617e+02 | 1.900000e+02 | 14.28%| unknown
832.76/835.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
832.76/835.89 c 836s| 21900 | 5713 | 7972k| 346.2 | 313M | 127 | 478 | 897 |1145 | 36k| 2 |2720 |1737 | 1.662632e+02 | 1.900000e+02 | 14.28%| unknown
834.85/837.99 c 838s| 22000 | 5745 | 8000k| 345.9 | 313M | 127 | 478 | 898 |1150 | 36k| 2 |2734 |1737 | 1.662642e+02 | 1.900000e+02 | 14.28%| unknown
838.84/841.98 c 842s| 22100 | 5773 | 8042k| 346.2 | 313M | 127 | 478 | 898 | 964 | 36k| 1 |2751 |1741 | 1.662667e+02 | 1.900000e+02 | 14.27%| unknown
842.93/846.08 c 846s| 22200 | 5801 | 8083k| 346.5 | 313M | 127 | 478 | 898 |1151 | 36k| 2 |2763 |1743 | 1.662681e+02 | 1.900000e+02 | 14.27%| unknown
844.81/847.94 c 848s| 22300 | 5813 | 8108k| 346.1 | 313M | 127 | 478 | 898 |1150 | 36k| 2 |2781 |1743 | 1.662689e+02 | 1.900000e+02 | 14.27%| unknown
846.51/849.64 c 850s| 22400 | 5841 | 8131k| 345.6 | 313M | 127 | 478 | 898 |1138 | 36k| 3 |2795 |1743 | 1.662705e+02 | 1.900000e+02 | 14.27%| unknown
848.10/851.29 c 851s| 22500 | 5851 | 8151k| 345.0 | 313M | 127 | 478 | 898 |1140 | 36k| 0 |2804 |1743 | 1.662714e+02 | 1.900000e+02 | 14.27%| unknown
850.69/853.85 c 854s| 22600 | 5885 | 8182k| 344.8 | 314M | 127 | 478 | 898 |1149 | 37k| 0 |2822 |1743 | 1.662724e+02 | 1.900000e+02 | 14.27%| unknown
852.29/855.46 c 855s| 22700 | 5895 | 8203k| 344.3 | 314M | 127 | 478 | 898 | 974 | 37k| 1 |2836 |1745 | 1.662744e+02 | 1.900000e+02 | 14.27%| unknown
855.57/858.75 c 859s| 22800 | 5921 | 8240k| 344.4 | 314M | 127 | 478 | 898 |1148 | 37k| 1 |2849 |1745 | 1.662784e+02 | 1.900000e+02 | 14.27%| unknown
858.87/862.04 c 862s| 22900 | 5945 | 8277k| 344.5 | 314M | 127 | 478 | 898 |1148 | 37k| 1 |2870 |1745 | 1.662794e+02 | 1.900000e+02 | 14.27%| unknown
861.55/864.72 c 865s| 23000 | 5969 | 8305k| 344.2 | 314M | 127 | 478 | 898 |1137 | 37k| 1 |2884 |1745 | 1.662805e+02 | 1.900000e+02 | 14.26%| unknown
864.34/867.52 c 868s| 23100 | 5995 | 8335k| 344.0 | 314M | 127 | 478 | 898 |1136 | 37k| 2 |2896 |1745 | 1.662809e+02 | 1.900000e+02 | 14.26%| unknown
867.33/870.57 c 871s| 23200 | 6013 | 8369k| 344.0 | 314M | 127 | 478 | 898 |1140 | 37k| 0 |2911 |1745 | 1.662829e+02 | 1.900000e+02 | 14.26%| unknown
871.71/874.99 c 875s| 23300 | 6053 | 8406k| 344.1 | 314M | 127 | 478 | 898 | 975 | 38k| 1 |2920 |1746 | 1.662874e+02 | 1.900000e+02 | 14.26%| unknown
875.30/878.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
875.30/878.50 c 878s| 23400 | 6087 | 8443k| 344.2 | 314M | 127 | 478 | 898 |1138 | 38k| 2 |2934 |1746 | 1.662875e+02 | 1.900000e+02 | 14.26%| unknown
878.99/882.22 c 882s| 23500 | 6111 | 8478k| 344.2 | 314M | 127 | 478 | 898 |1148 | 38k| 1 |2950 |1754 | 1.662879e+02 | 1.900000e+02 | 14.26%| unknown
880.98/884.24 c 884s| 23600 | 6125 | 8500k| 343.7 | 314M | 127 | 478 | 898 |1144 | 38k| 0 |2964 |1759 | 1.662893e+02 | 1.900000e+02 | 14.26%| unknown
884.78/888.09 c 888s| 23700 | 6147 | 8530k| 343.6 | 314M | 127 | 478 | 898 |1141 | 38k| 1 |2981 |1766 | 1.662900e+02 | 1.900000e+02 | 14.26%| unknown
889.45/892.72 c 893s| 23800 | 6179 | 8588k| 344.5 | 315M | 127 | 478 | 898 | 992 | 38k| 1 |2996 |1772 | 1.662916e+02 | 1.900000e+02 | 14.26%| unknown
892.85/896.16 c 896s| 23900 | 6203 | 8624k| 344.6 | 315M | 127 | 478 | 898 |1152 | 39k| 1 |3013 |1775 | 1.662925e+02 | 1.900000e+02 | 14.26%| unknown
894.84/898.16 c 898s| 24000 | 6217 | 8648k| 344.1 | 315M | 127 | 478 | 898 |1141 | 39k| 3 |3030 |1777 | 1.662933e+02 | 1.900000e+02 | 14.26%| unknown
897.62/900.98 c 901s| 24100 | 6239 | 8676k| 343.9 | 315M | 127 | 478 | 898 | 984 | 39k| 1 |3040 |1778 | 1.662947e+02 | 1.900000e+02 | 14.25%| unknown
900.91/904.27 c 904s| 24200 | 6261 | 8716k| 344.1 | 315M | 127 | 478 | 898 |1135 | 39k| 2 |3058 |1779 | 1.662948e+02 | 1.900000e+02 | 14.25%| unknown
901.81/905.14 c 905s| 24300 | 6259 | 8734k| 343.5 | 315M | 127 | 478 | 898 |1136 | 39k| 1 |3071 |1779 | 1.662948e+02 | 1.900000e+02 | 14.25%| unknown
905.39/908.79 c 909s| 24400 | 6283 | 8766k| 343.4 | 315M | 127 | 478 | 896 |1140 | 39k| 1 |3080 |1781 | 1.662948e+02 | 1.900000e+02 | 14.25%| unknown
910.07/913.48 c 913s| 24500 | 6319 | 8808k| 343.7 | 315M | 127 | 478 | 894 |1135 | 39k| 1 |3090 |1784 | 1.662962e+02 | 1.900000e+02 | 14.25%| unknown
911.07/914.49 c 914s| 24600 | 6313 | 8827k| 343.1 | 315M | 127 | 478 | 894 |1143 | 39k| 0 |3104 |1784 | 1.662962e+02 | 1.900000e+02 | 14.25%| unknown
915.76/919.14 c 919s| 24700 | 6353 | 8869k| 343.4 | 315M | 127 | 478 | 896 |1129 | 40k| 1 |3117 |1784 | 1.662986e+02 | 1.900000e+02 | 14.25%| unknown
917.04/920.45 c 920s| 24800 | 6357 | 8889k| 342.8 | 315M | 127 | 478 | 896 | 985 | 40k| 1 |3133 |1784 | 1.663010e+02 | 1.900000e+02 | 14.25%| unknown
919.75/923.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
919.75/923.11 c 923s| 24900 | 6371 | 8926k| 342.9 | 315M | 127 | 478 | 896 |1139 | 40k| 1 |3151 |1785 | 1.663042e+02 | 1.900000e+02 | 14.25%| unknown
924.12/927.56 c 928s| 25000 | 6415 | 8975k| 343.5 | 315M | 127 | 478 | 896 |1131 | 40k| 1 |3163 |1788 | 1.663079e+02 | 1.900000e+02 | 14.25%| unknown
929.61/933.02 c 933s| 25100 | 6463 | 9024k| 344.1 | 315M | 127 | 478 | 896 |1133 | 40k| 1 |3181 |1788 | 1.663102e+02 | 1.900000e+02 | 14.24%| unknown
931.49/934.92 c 935s| 25200 | 6471 | 9050k| 343.7 | 315M | 127 | 478 | 896 | 976 | 41k| 1 |3204 |1788 | 1.663113e+02 | 1.900000e+02 | 14.24%| unknown
936.97/940.46 c 940s| 25300 | 6513 | 9103k| 344.4 | 315M | 127 | 478 | 896 |1144 | 41k| 0 |3216 |1788 | 1.663171e+02 | 1.900000e+02 | 14.24%| unknown
940.96/944.48 c 944s| 25400 | 6531 | 9139k| 344.5 | 315M | 127 | 478 | 896 |1137 | 41k| 1 |3231 |1788 | 1.663195e+02 | 1.900000e+02 | 14.24%| unknown
944.84/948.30 c 948s| 25500 | 6563 | 9182k| 344.8 | 315M | 127 | 478 | 896 |1136 | 41k| 0 |3245 |1788 | 1.663199e+02 | 1.900000e+02 | 14.24%| unknown
947.13/950.67 c 951s| 25600 | 6587 | 9210k| 344.6 | 316M | 127 | 478 | 896 | 995 | 41k| 1 |3257 |1789 | 1.663212e+02 | 1.900000e+02 | 14.24%| unknown
949.64/953.18 c 953s| 25700 | 6621 | 9234k| 344.2 | 316M | 127 | 478 | 896 | 991 | 42k| 1 |3261 |1796 | 1.663230e+02 | 1.900000e+02 | 14.24%| unknown
953.62/957.14 c 957s| 25800 | 6661 | 9270k| 344.2 | 316M | 127 | 478 | 896 |1137 | 42k| 0 |3275 |1800 | 1.663264e+02 | 1.900000e+02 | 14.23%| unknown
956.51/960.04 c 960s| 25900 | 6689 | 9301k| 344.1 | 316M | 127 | 478 | 896 |1134 | 42k| 1 |3290 |1801 | 1.663271e+02 | 1.900000e+02 | 14.23%| unknown
959.39/962.91 c 963s| 26000 | 6727 | 9331k| 344.0 | 316M | 127 | 478 | 896 |1136 | 42k| 2 |3297 |1810 | 1.663274e+02 | 1.900000e+02 | 14.23%| unknown
963.27/966.83 c 967s| 26100 | 6777 | 9364k| 343.9 | 316M | 127 | 478 | 896 | 974 | 42k| 1 |3301 |1813 | 1.663309e+02 | 1.900000e+02 | 14.23%| unknown
965.37/968.98 c 969s| 26200 | 6799 | 9387k| 343.5 | 316M | 127 | 478 | 896 |1133 | 42k| 2 |3309 |1816 | 1.663315e+02 | 1.900000e+02 | 14.23%| unknown
965.96/969.50 c 970s| 26300 | 6801 | 9396k| 342.6 | 316M | 127 | 478 | 896 |1133 | 42k| 0 |3322 |1817 | 1.663315e+02 | 1.900000e+02 | 14.23%| unknown
967.66/971.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
967.66/971.20 c 971s| 26400 | 6813 | 9414k| 342.0 | 316M | 127 | 478 | 896 |1134 | 42k| 1 |3336 |1818 | 1.663324e+02 | 1.900000e+02 | 14.23%| unknown
970.25/973.86 c 974s| 26500 | 6839 | 9443k| 341.8 | 316M | 127 | 478 | 896 |1133 | 42k| 1 |3345 |1819 | 1.663325e+02 | 1.900000e+02 | 14.23%| unknown
973.63/977.28 c 977s| 26600 | 6875 | 9477k| 341.8 | 316M | 127 | 478 | 897 |1134 | 43k| 1 |3356 |1822 | 1.663339e+02 | 1.900000e+02 | 14.23%| unknown
975.44/979.01 c 979s| 26700 | 6887 | 9495k| 341.2 | 316M | 127 | 478 | 897 |1133 | 43k| 1 |3369 |1823 | 1.663341e+02 | 1.900000e+02 | 14.23%| unknown
977.43/981.06 c 981s| 26800 | 6901 | 9517k| 340.8 | 316M | 127 | 478 | 897 |1135 | 43k| 2 |3383 |1823 | 1.663346e+02 | 1.900000e+02 | 14.23%| unknown
979.21/982.89 c 983s| 26900 | 6923 | 9543k| 340.4 | 316M | 127 | 478 | 897 |1133 | 43k| 1 |3394 |1824 | 1.663347e+02 | 1.900000e+02 | 14.23%| unknown
979.91/983.57 c 984s| 27000 | 6923 | 9556k| 339.7 | 316M | 127 | 478 | 897 |1133 | 43k| 1 |3407 |1824 | 1.663347e+02 | 1.900000e+02 | 14.23%| unknown
980.52/984.17 c 984s| 27100 | 6931 | 9566k| 338.9 | 316M | 127 | 478 | 897 |1134 | 43k| 0 |3417 |1825 | 1.663347e+02 | 1.900000e+02 | 14.23%| unknown
982.10/985.70 c 986s| 27200 | 6951 | 9582k| 338.2 | 316M | 127 | 478 | 896 |1134 | 43k| 3 |3425 |1825 | 1.663347e+02 | 1.900000e+02 | 14.23%| unknown
984.20/987.84 c 988s| 27300 | 6959 | 9615k| 338.2 | 316M | 127 | 478 | 896 |1135 | 43k| 1 |3429 |1825 | 1.663350e+02 | 1.900000e+02 | 14.23%| unknown
986.69/990.39 c 990s| 27400 | 6981 | 9638k| 337.8 | 316M | 127 | 478 | 895 | 959 | 43k| 1 |3437 |1827 | 1.663367e+02 | 1.900000e+02 | 14.23%| unknown
989.28/992.99 c 993s| 27500 | 6993 | 9662k| 337.5 | 316M | 127 | 478 | 895 |1135 | 43k| 1 |3444 |1830 | 1.663384e+02 | 1.900000e+02 | 14.22%| unknown
989.87/993.52 c 994s| 27600 | 6999 | 9672k| 336.7 | 316M | 127 | 478 | 895 |1135 | 43k| 1 |3460 |1830 | 1.663384e+02 | 1.900000e+02 | 14.22%| unknown
991.57/995.21 c 995s| 27700 | 7013 | 9690k| 336.1 | 316M | 127 | 478 | 895 |1135 | 43k| 2 |3468 |1830 | 1.663389e+02 | 1.900000e+02 | 14.22%| unknown
993.47/997.13 c 997s| 27800 | 7019 | 9707k| 335.5 | 316M | 127 | 478 | 895 |1135 | 43k| 3 |3472 |1832 | 1.663415e+02 | 1.900000e+02 | 14.22%| unknown
995.26/998.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
995.26/998.93 c 999s| 27900 | 7049 | 9730k| 335.1 | 316M | 127 | 478 | 895 |1134 | 43k| 1 |3481 |1833 | 1.663436e+02 | 1.900000e+02 | 14.22%| unknown
1000.14/1003.89 c 1004s| 28000 | 7101 | 9771k| 335.4 | 316M | 127 | 478 | 894 |1135 | 44k| 1 |3486 |1838 | 1.663448e+02 | 1.900000e+02 | 14.22%| unknown
1002.93/1006.63 c 1007s| 28100 | 7129 | 9801k| 335.3 | 316M | 127 | 478 | 894 |1134 | 44k| 2 |3501 |1839 | 1.663454e+02 | 1.900000e+02 | 14.22%| unknown
1004.83/1008.58 c 1009s| 28200 | 7149 | 9824k| 334.9 | 316M | 127 | 478 | 894 |1134 | 44k| 1 |3512 |1839 | 1.663462e+02 | 1.900000e+02 | 14.22%| unknown
1006.33/1010.10 c 1010s| 28300 | 7165 | 9846k| 334.5 | 316M | 127 | 478 | 894 |1133 | 44k| 2 |3525 |1842 | 1.663467e+02 | 1.900000e+02 | 14.22%| unknown
1008.12/1011.80 c 1012s| 28400 | 7175 | 9868k| 334.1 | 316M | 127 | 478 | 894 |1134 | 44k| 2 |3539 |1843 | 1.663467e+02 | 1.900000e+02 | 14.22%| unknown
1012.60/1016.35 c 1016s| 28500 | 7211 | 9905k| 334.3 | 317M | 127 | 478 | 894 |1133 | 44k| 2 |3548 |1845 | 1.663500e+02 | 1.900000e+02 | 14.22%| unknown
1014.50/1018.26 c 1018s| 28600 | 7227 | 9926k| 333.9 | 317M | 127 | 478 | 894 |1138 | 44k| 3 |3563 |1845 | 1.663512e+02 | 1.900000e+02 | 14.22%| unknown
1017.40/1021.12 c 1021s| 28700 | 7257 | 9953k| 333.7 | 317M | 127 | 478 | 894 |1136 | 44k| 4 |3569 |1845 | 1.663529e+02 | 1.900000e+02 | 14.21%| unknown
1018.58/1022.30 c 1022s| 28800 | 7261 | 9968k| 333.0 | 317M | 127 | 478 | 894 | 970 | 44k| 1 |3582 |1846 | 1.663538e+02 | 1.900000e+02 | 14.21%| unknown
1022.07/1025.85 c 1026s| 28900 | 7287 | 10005k| 333.2 | 317M | 127 | 478 | 894 |1137 | 45k| 2 |3595 |1846 | 1.663567e+02 | 1.900000e+02 | 14.21%| unknown
1025.66/1029.44 c 1029s| 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: 64059 MiB (62267 MiB free)
memory of node 1: 64510 MiB (61181 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432634-1721078616/watcher-4432634-1721078616 -o /tmp/evaluation-result-4432634-1721078616/solver-4432634-1721078616 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721071433-807172 --watchdog 3760 pbscip -f HOME/instance-4432634-1721078616.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=811202, runsolver pid=811199
[startup+0.100094 s]*
/proc/loadavg: 4.16 4.17 4.17 4/231 811226
/proc/meminfo: memFree=126409820/131655788 swapFree=131071996/131071996
[pid=811202] ppid=811199 vsize=63596 memory=24892 CPUtime=0.1 cores=0,2
/proc/811202/stat : 811202 (pbscip) R 811199 811202 807162 0 -1 4194304 2656 0 0 0 10 0 0 0 20 0 1 0 160018550 65122304 6223 134679101440 4194304 18693293 140723800613936 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49217536 140723800617988 140723800618087 140723800618087 140723800625102 0
/proc/811202/statm: 15899 6223 3922 3540 0 4156 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 63596 KiB
Current children cumulated memory: 24892 KiB
[startup+0.212238 s]*
/proc/loadavg: 4.16 4.17 4.17 5/240 811245
/proc/meminfo: memFree=126380208/131655788 swapFree=131071996/131071996
[pid=811202] ppid=811199 vsize=63900 memory=25156 CPUtime=0.21 cores=0,2
/proc/811202/stat : 811202 (pbscip) R 811199 811202 807162 0 -1 4194304 2724 0 0 0 21 0 0 0 20 0 1 0 160018550 65433600 6289 134679101440 4194304 18693293 140723800613936 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49217536 140723800617988 140723800618087 140723800618087 140723800625102 0
/proc/811202/statm: 15975 6289 3922 3540 0 4232 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 63900 KiB
Current children cumulated memory: 25156 KiB
[startup+0.312048 s]*
/proc/loadavg: 4.16 4.17 4.17 5/243 811251
/proc/meminfo: memFree=126372816/131655788 swapFree=131071996/131071996
[pid=811202] ppid=811199 vsize=63900 memory=25156 CPUtime=0.31 cores=0,2
/proc/811202/stat : 811202 (pbscip) R 811199 811202 807162 0 -1 4194304 2724 0 0 0 31 0 0 0 20 0 1 0 160018550 65433600 6289 134679101440 4194304 18693293 140723800613936 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49217536 140723800617988 140723800618087 140723800618087 140723800625102 0
/proc/811202/statm: 15975 6289 3922 3540 0 4232 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 63900 KiB
Current children cumulated memory: 25156 KiB
[startup+0.700257 s]
/proc/loadavg: 4.16 4.17 4.17 5/243 811251
/proc/meminfo: memFree=126369604/131655788 swapFree=131071996/131071996
[pid=811202] ppid=811199 vsize=63900 memory=25156 CPUtime=0.68 cores=0,2
/proc/811202/stat : 811202 (pbscip) R 811199 811202 807162 0 -1 4194304 2736 0 0 0 68 0 0 0 20 0 1 0 160018550 65433600 6289 134679101440 4194304 18693293 140723800613936 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49217536 140723800617988 140723800618087 140723800618087 140723800625102 0
/proc/811202/statm: 15975 6289 3922 3540 0 4232 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 63900 KiB
Current children cumulated memory: 25156 KiB
[startup+1.50029 s]
/proc/loadavg: 4.16 4.17 4.17 5/243 811251
/proc/meminfo: memFree=126337736/131655788 swapFree=131071996/131071996
[pid=811202] ppid=811199 vsize=80796 memory=41848 CPUtime=1.48 cores=0,2
/proc/811202/stat : 811202 (pbscip) R 811199 811202 807162 0 -1 4194304 6917 0 0 0 147 1 0 0 20 0 1 0 160018550 82735104 10462 134679101440 4194304 18693293 140723800613936 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49217536 140723800617988 140723800618087 140723800618087 140723800625102 0
/proc/811202/statm: 20199 10462 3938 3540 0 8456 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 80796 KiB
Current children cumulated memory: 41848 KiB
[startup+3.11274 s]
/proc/loadavg: 4.16 4.17 4.17 5/243 811299
/proc/meminfo: memFree=126294356/131655788 swapFree=131071996/131071996
[pid=811202] ppid=811199 vsize=192712 memory=151660 CPUtime=3.09 cores=0,2
/proc/811202/stat : 811202 (pbscip) R 811199 811202 807162 0 -1 4194304 35168 0 0 0 304 5 0 0 20 0 1 0 160018550 197337088 37915 134679101440 4194304 18693293 140723800613936 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49217536 140723800617988 140723800618087 140723800618087 140723800625102 0
/proc/811202/statm: 48178 37915 3938 3540 0 36435 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 192712 KiB
Current children cumulated memory: 151660 KiB
[startup+6.30026 s]
/proc/loadavg: 4.15 4.17 4.17 5/243 811299
/proc/meminfo: memFree=126249788/131655788 swapFree=131071996/131071996
[pid=811202] ppid=811199 vsize=196880 memory=155796 CPUtime=6.27 cores=0,2
/proc/811202/stat : 811202 (pbscip) R 811199 811202 807162 0 -1 4194304 36150 0 0 0 622 5 0 0 20 0 1 0 160018550 201605120 38949 134679101440 4194304 18693293 140723800613936 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49217536 140723800617988 140723800618087 140723800618087 140723800625102 0
/proc/811202/statm: 49220 38949 3985 3540 0 37477 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 196880 KiB
Current children cumulated memory: 155796 KiB
[startup+12.7003 s]
/proc/loadavg: 4.14 4.16 4.17 5/243 811299
/proc/meminfo: memFree=126247540/131655788 swapFree=131071996/131071996
[pid=811202] ppid=811199 vsize=196880 memory=157888 CPUtime=12.64 cores=0,2
/proc/811202/stat : 811202 (pbscip) R 811199 811202 807162 0 -1 4194304 36168 0 0 0 1259 5 0 0 20 0 1 0 160018550 201605120 39472 134679101440 4194304 18693293 140723800613936 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49217536 140723800617988 140723800618087 140723800618087 140723800625102 0
/proc/811202/statm: 49220 39472 3985 3540 0 37477 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 196880 KiB
Current children cumulated memory: 157888 KiB
[startup+25.5003 s]
/proc/loadavg: 4.11 4.15 4.16 5/243 811303
/proc/meminfo: memFree=126054728/131655788 swapFree=131071996/131071996
[pid=811202] ppid=811199 vsize=235168 memory=194960 CPUtime=25.4 cores=0,2
/proc/811202/stat : 811202 (pbscip) R 811199 811202 807162 0 -1 4194304 45485 0 0 0 2534 6 0 0 20 0 1 0 160018550 240812032 48740 134679101440 4194304 18693293 140723800613936 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49217536 140723800617988 140723800618087 140723800618087 140723800625102 0
/proc/811202/statm: 58792 48740 3985 3540 0 47049 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 235168 KiB
Current children cumulated memory: 194960 KiB
[startup+51.1119 s]
/proc/loadavg: 4.13 4.16 4.16 5/243 811306
/proc/meminfo: memFree=126045280/131655788 swapFree=131071996/131071996
[pid=811202] ppid=811199 vsize=240312 memory=199940 CPUtime=50.93 cores=0,2
/proc/811202/stat : 811202 (pbscip) R 811199 811202 807162 0 -1 4194304 47416 0 0 0 5087 6 0 0 20 0 1 0 160018550 246079488 49985 134679101440 4194304 18693293 140723800613936 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49217536 140723800617988 140723800618087 140723800618087 140723800625102 0
/proc/811202/statm: 60078 49985 3985 3540 0 48335 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 240312 KiB
Current children cumulated memory: 199940 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.15 4.16 5/243 811315
/proc/meminfo: memFree=126008380/131655788 swapFree=131071996/131071996
[pid=811202] ppid=811199 vsize=242564 memory=205500 CPUtime=101.95 cores=0,2
/proc/811202/stat : 811202 (pbscip) R 811199 811202 807162 0 -1 4194304 48385 0 0 0 10189 6 0 0 20 0 1 0 160018550 248385536 51375 134679101440 4194304 18693293 140723800613936 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49217536 140723800617988 140723800618087 140723800618087 140723800625102 0
/proc/811202/statm: 60641 51375 3985 3540 0 48898 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 242564 KiB
Current children cumulated memory: 205500 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.16 4.17 5/243 811709
/proc/meminfo: memFree=125698968/131655788 swapFree=131071996/131071996
[pid=811202] ppid=811199 vsize=359204 memory=317552 CPUtime=161.75 cores=0,2
/proc/811202/stat : 811202 (pbscip) R 811199 811202 807162 0 -1 4194304 76900 0 0 0 16164 11 0 0 20 0 1 0 160018550 367824896 79388 134679101440 4194304 18693293 140723800613936 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49217536 140723800617988 140723800618087 140723800618087 140723800625102 0
/proc/811202/statm: 89801 79388 3985 3540 0 78058 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 359204 KiB
Current children cumulated memory: 317552 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.15 4.16 5/243 811721
/proc/meminfo: memFree=125644368/131655788 swapFree=131071996/131071996
[pid=811202] ppid=811199 vsize=359204 memory=317552 CPUtime=221.53 cores=0,2
/proc/811202/stat : 811202 (pbscip) R 811199 811202 807162 0 -1 4194304 76916 0 0 0 22142 11 0 0 20 0 1 0 160018550 367824896 79388 134679101440 4194304 18693293 140723800613936 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49217536 140723800617988 140723800618087 140723800618087 140723800625102 0
/proc/811202/statm: 89801 79388 3985 3540 0 78058 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 359204 KiB
Current children cumulated memory: 317552 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/243 811731
/proc/meminfo: memFree=125596860/131655788 swapFree=131071996/131071996
[pid=811202] ppid=811199 vsize=359660 memory=317816 CPUtime=281.3 cores=0,2
/proc/811202/stat : 811202 (pbscip) R 811199 811202 807162 0 -1 4194304 77112 0 0 0 28119 11 0 0 20 0 1 0 160018550 368291840 79454 134679101440 4194304 18693293 140723800613936 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49217536 140723800617988 140723800618087 140723800618087 140723800625102 0
/proc/811202/statm: 89915 79454 3985 3540 0 78172 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 359660 KiB
Current children cumulated memory: 317816 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.14 4.15 5/245 811911
/proc/meminfo: memFree=125587736/131655788 swapFree=131071996/131071996
[pid=811202] ppid=811199 vsize=361176 memory=319328 CPUtime=341.08 cores=0,2
/proc/811202/stat : 811202 (pbscip) R 811199 811202 807162 0 -1 4194304 77580 0 0 0 34097 11 0 0 20 0 1 0 160018550 369844224 79832 134679101440 4194304 18693293 140723800613936 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49217536 140723800617988 140723800618087 140723800618087 140723800625102 0
/proc/811202/statm: 90294 79832 3985 3540 0 78551 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 361176 KiB
Current children cumulated memory: 319328 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.14 4.15 5/245 811922
/proc/meminfo: memFree=125582296/131655788 swapFree=131071996/131071996
[pid=811202] ppid=811199 vsize=362132 memory=320496 CPUtime=400.85 cores=0,2
/proc/811202/stat : 811202 (pbscip) R 811199 811202 807162 0 -1 4194304 77888 0 0 0 40074 11 0 0 20 0 1 0 160018550 370823168 80124 134679101440 4194304 18693293 140723800613936 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49217536 140723800617988 140723800618087 140723800618087 140723800625102 0
/proc/811202/statm: 90533 80124 3985 3540 0 78790 0
Current children cumulated CPU time: 400.85 s
Current children cumulated vsize: 362132 KiB
Current children cumulated memory: 320496 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/243 811989
/proc/meminfo: memFree=125577540/131655788 swapFree=131071996/131071996
[pid=811202] ppid=811199 vsize=362724 memory=321112 CPUtime=460.63 cores=0,2
/proc/811202/stat : 811202 (pbscip) R 811199 811202 807162 0 -1 4194304 78124 0 0 0 46052 11 0 0 20 0 1 0 160018550 371429376 80278 134679101440 4194304 18693293 140723800613936 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49217536 140723800617988 140723800618087 140723800618087 140723800625102 0
/proc/811202/statm: 90681 80278 3985 3540 0 78938 0
################
# More data... #
################
[pid=811202] ppid=811199 vsize=364792 memory=323028 CPUtime=580.18 cores=0,2
/proc/811202/stat : 811202 (pbscip) R 811199 811202 807162 0 -1 4194304 78821 0 0 0 58007 11 0 0 20 0 1 0 160018550 373547008 80757 134679101440 4194304 18693293 140723800613936 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49217536 140723800617988 140723800618087 140723800618087 140723800625102 0
/proc/811202/statm: 91198 80757 3985 3540 0 79455 0
Current children cumulated CPU time: 580.18 s
Current children cumulated vsize: 364792 KiB
Current children cumulated memory: 323028 KiB
[startup+642.3 s]
/proc/loadavg: 4.16 4.14 4.15 5/242 812020
/proc/meminfo: memFree=125541064/131655788 swapFree=131071996/131071996
[pid=811202] ppid=811199 vsize=367152 memory=325092 CPUtime=639.96 cores=0,2
/proc/811202/stat : 811202 (pbscip) R 811199 811202 807162 0 -1 4194304 79416 0 0 0 63985 11 0 0 20 0 1 0 160018550 375963648 81273 134679101440 4194304 18693293 140723800613936 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49217536 140723800617988 140723800618087 140723800618087 140723800625102 0
/proc/811202/statm: 91788 81273 3985 3540 0 80045 0
Current children cumulated CPU time: 639.96 s
Current children cumulated vsize: 367152 KiB
Current children cumulated memory: 325092 KiB
[startup+702.3 s]
/proc/loadavg: 4.16 4.14 4.15 5/242 812031
/proc/meminfo: memFree=125535824/131655788 swapFree=131071996/131071996
[pid=811202] ppid=811199 vsize=370228 memory=328440 CPUtime=699.75 cores=0,2
/proc/811202/stat : 811202 (pbscip) R 811199 811202 807162 0 -1 4194304 80299 0 0 0 69963 12 0 0 20 0 1 0 160018550 379113472 82110 134679101440 4194304 18693293 140723800613936 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49217536 140723800617988 140723800618087 140723800618087 140723800625102 0
/proc/811202/statm: 92557 82110 3985 3540 0 80814 0
Current children cumulated CPU time: 699.75 s
Current children cumulated vsize: 370228 KiB
Current children cumulated memory: 328440 KiB
[startup+762.3 s]
/proc/loadavg: 4.18 4.15 4.15 5/241 812041
/proc/meminfo: memFree=125534576/131655788 swapFree=131071996/131071996
[pid=811202] ppid=811199 vsize=371776 memory=329772 CPUtime=759.53 cores=0,2
/proc/811202/stat : 811202 (pbscip) R 811199 811202 807162 0 -1 4194304 80718 0 0 0 75941 12 0 0 20 0 1 0 160018550 380698624 82443 134679101440 4194304 18693293 140723800613936 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49217536 140723800617988 140723800618087 140723800618087 140723800625102 0
/proc/811202/statm: 92944 82443 3985 3540 0 81201 0
Current children cumulated CPU time: 759.53 s
Current children cumulated vsize: 371776 KiB
Current children cumulated memory: 329772 KiB
[startup+822.3 s]
/proc/loadavg: 4.14 4.15 4.15 6/241 812053
/proc/meminfo: memFree=125501432/131655788 swapFree=131071996/131071996
[pid=811202] ppid=811199 vsize=372492 memory=330660 CPUtime=819.31 cores=0,2
/proc/811202/stat : 811202 (pbscip) R 811199 811202 807162 0 -1 4194304 81021 0 0 0 81919 12 0 0 20 0 1 0 160018550 381431808 82665 134679101440 4194304 18693293 140723800613936 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49217536 140723800617988 140723800618087 140723800618087 140723800625102 0
/proc/811202/statm: 93123 82665 3985 3540 0 81380 0
Current children cumulated CPU time: 819.31 s
Current children cumulated vsize: 372492 KiB
Current children cumulated memory: 330660 KiB
[startup+882.3 s]
/proc/loadavg: 4.10 4.14 4.14 5/241 812063
/proc/meminfo: memFree=125499316/131655788 swapFree=131071996/131071996
[pid=811202] ppid=811199 vsize=373436 memory=331524 CPUtime=879.09 cores=0,2
/proc/811202/stat : 811202 (pbscip) R 811199 811202 807162 0 -1 4194304 81323 0 0 0 87897 12 0 0 20 0 1 0 160018550 382398464 82881 134679101440 4194304 18693293 140723800613936 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49217536 140723800617988 140723800618087 140723800618087 140723800625102 0
/proc/811202/statm: 93359 82881 3985 3540 0 81616 0
Current children cumulated CPU time: 879.09 s
Current children cumulated vsize: 373436 KiB
Current children cumulated memory: 331524 KiB
[startup+942.3 s]
/proc/loadavg: 4.18 4.15 4.15 5/241 812074
/proc/meminfo: memFree=125495776/131655788 swapFree=131071996/131071996
[pid=811202] ppid=811199 vsize=375280 memory=333052 CPUtime=938.87 cores=0,2
/proc/811202/stat : 811202 (pbscip) R 811199 811202 807162 0 -1 4194304 82060 0 0 0 93875 12 0 0 20 0 1 0 160018550 384286720 83263 134679101440 4194304 18693293 140723800613936 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49217536 140723800617988 140723800618087 140723800618087 140723800625102 0
/proc/811202/statm: 93820 83263 3985 3540 0 82077 0
Current children cumulated CPU time: 938.87 s
Current children cumulated vsize: 375280 KiB
Current children cumulated memory: 333052 KiB
[startup+1002.3 s]
/proc/loadavg: 4.19 4.16 4.15 5/241 812084
/proc/meminfo: memFree=125492368/131655788 swapFree=131071996/131071996
[pid=811202] ppid=811199 vsize=376540 memory=334492 CPUtime=998.65 cores=0,2
/proc/811202/stat : 811202 (pbscip) R 811199 811202 807162 0 -1 4194304 82513 0 0 0 99853 12 0 0 20 0 1 0 160018550 385576960 83623 134679101440 4194304 18693293 140723800613936 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49217536 140723800617988 140723800618087 140723800618087 140723800625102 0
/proc/811202/statm: 94135 83623 3985 3540 0 82392 0
Current children cumulated CPU time: 998.65 s
Current children cumulated vsize: 376540 KiB
Current children cumulated memory: 334492 KiB
[startup+1034.28 s]
# the end of solver process 811202 was just reported to runsolver
# Child ended because it received signal 11 (SIGSEGV)
Child dumped core
# cumulated CPU time of all completed processes: user=1029.54 s, system=0.782576 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1011.2 s]
/proc/loadavg: 4.16 4.15 4.15 5/241 812085
/proc/meminfo: memFree=125490816/131655788 swapFree=131071996/131071996
[pid=811202] ppid=811199 vsize=376540 memory=335396 CPUtime=1007.52 cores=0,2
/proc/811202/stat : 811202 (pbscip) R 811199 811202 807162 0 -1 4194304 82514 0 0 0 100740 12 0 0 20 0 1 0 160018550 385576960 83849 134679101440 4194304 18693293 140723800613936 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49217536 140723800617988 140723800618087 140723800618087 140723800625102 0
/proc/811202/statm: 94135 83849 3985 3540 0 82392 0
Current children cumulated CPU time: 1007.52 s
Current children cumulated vsize: 376540 KiB
Current children cumulated memory: 335396 KiB
[startup+1024 s]*
/proc/loadavg: 4.13 4.14 4.14 5/244 812095
/proc/meminfo: memFree=125487684/131655788 swapFree=131071996/131071996
[pid=811202] ppid=811199 vsize=376540 memory=336792 CPUtime=1020.29 cores=0,2
/proc/811202/stat : 811202 (pbscip) R 811199 811202 807162 0 -1 4194304 82533 0 0 0 102017 12 0 0 20 0 1 0 160018550 385576960 84198 134679101440 4194304 18693293 140723800613936 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49217536 140723800617988 140723800618087 140723800618087 140723800625102 0
/proc/811202/statm: 94135 84198 3985 3540 0 82392 0
Current children cumulated CPU time: 1020.29 s
Current children cumulated vsize: 376540 KiB
Current children cumulated memory: 336792 KiB
[startup+1030.4 s]
/proc/loadavg: 4.11 4.14 4.14 6/244 812095
/proc/meminfo: memFree=125487420/131655788 swapFree=131071996/131071996
[pid=811202] ppid=811199 vsize=376540 memory=336792 CPUtime=1026.66 cores=0,2
/proc/811202/stat : 811202 (pbscip) R 811199 811202 807162 0 -1 4194304 82553 0 0 0 102654 12 0 0 20 0 1 0 160018550 385576960 84198 134679101440 4194304 18693293 140723800613936 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49217536 140723800617988 140723800618087 140723800618087 140723800625102 0
/proc/811202/statm: 94135 84198 3985 3540 0 82392 0
Current children cumulated CPU time: 1026.66 s
Current children cumulated vsize: 376540 KiB
Current children cumulated memory: 336792 KiB
[startup+1032 s]*
/proc/loadavg: 4.11 4.14 4.14 5/244 812095
/proc/meminfo: memFree=125483472/131655788 swapFree=131071996/131071996
[pid=811202] ppid=811199 vsize=380596 memory=341012 CPUtime=1028.26 cores=0,2
/proc/811202/stat : 811202 (pbscip) R 811199 811202 807162 0 -1 4194304 83591 0 0 0 102814 12 0 0 20 0 1 0 160018550 389730304 85253 134679101440 4194304 18693293 140723800613936 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49217536 140723800617988 140723800618087 140723800618087 140723800625102 0
/proc/811202/statm: 95149 85253 3985 3540 0 83406 0
Current children cumulated CPU time: 1028.26 s
Current children cumulated vsize: 380596 KiB
Current children cumulated memory: 341012 KiB
[startup+1033.6 s]
/proc/loadavg: 4.11 4.14 4.14 5/244 812097
/proc/meminfo: memFree=125480560/131655788 swapFree=131071996/131071996
[pid=811202] ppid=811199 vsize=384596 memory=344972 CPUtime=1029.66 cores=0,2
/proc/811202/stat : 811202 (pbscip) S 811199 811202 807162 0 -1 4195840 84603 0 0 0 102954 12 0 0 20 0 1 0 160018550 393826304 86243 134679101440 4194304 18693293 140723800613936 140723792236544 140635071829004 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49217536 140723800617988 140723800618087 140723800618087 140723800625102 0
/proc/811202/statm: 96149 86243 3985 3540 0 84406 0
Current children cumulated CPU time: 1029.66 s
Current children cumulated vsize: 384596 KiB
Current children cumulated memory: 344972 KiB
[startup+1034 s]*
/proc/loadavg: 4.11 4.14 4.14 5/245 812099
/proc/meminfo: memFree=125274076/131655788 swapFree=131071996/131071996
[pid=811202] ppid=811199 vsize=384596 memory=344972 CPUtime=1030.04 cores=0,2
/proc/811202/stat : 811202 (pbscip) R 811199 811202 807162 0 -1 4195840 84604 0 0 0 102954 50 0 0 20 0 1 0 160018550 393826304 86243 134679101440 4194304 18693293 140723800613936 140723792236544 140635071829004 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49217536 140723800617988 140723800618087 140723800618087 140723800625102 0
/proc/811202/statm: 96149 86243 3985 3540 0 84406 0
Current children cumulated CPU time: 1030.04 s
Current children cumulated vsize: 384596 KiB
Current children cumulated memory: 344972 KiB
[startup+1034.2 s]
/proc/loadavg: 4.11 4.14 4.14 5/245 812099
/proc/meminfo: memFree=125274076/131655788 swapFree=131071996/131071996
[pid=811202] ppid=811199 vsize=384596 memory=344972 CPUtime=1030.24 cores=0,2
/proc/811202/stat : 811202 (pbscip) R 811199 811202 807162 0 -1 4195840 84604 0 0 0 102954 70 0 0 20 0 1 0 160018550 393826304 86243 134679101440 4194304 18693293 140723800613936 140723792236544 140635071829004 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49217536 140723800617988 140723800618087 140723800618087 140723800625102 0
/proc/811202/statm: 96149 86243 3985 3540 0 84406 0
Current children cumulated CPU time: 1030.24 s
Current children cumulated vsize: 384596 KiB
Current children cumulated memory: 344972 KiB
Child ended because it received signal 11 (SIGSEGV)
Child dumped core
Real time (s): 1034.28
CPU time (s): 1030.33
CPU user time (s): 1029.54
CPU system time (s): 0.782576
CPU usage (%): 99.6174
Max. virtual memory (cumulated for all children) (KiB): 384596
Max. memory (cumulated for all children) (KiB): 344972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1029.54
system time used= 0.782576
maximum resident set size= 345072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84642
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= 51
involuntary context switches= 7061
# summary of solver processes directly reported to runsolver:
# pid: 811202
# total CPU time (s): 1030.33
# total CPU user time (s): 1029.54
# total CPU system time (s): 0.782576
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.82036 second user time and 9.44243 second system time
The end
Begin job on nodeC012 at 2024-07-15 23:23:48 IDJOB=4432634 IDBENCH=147538 IDSOLVER=3059 FILE ID=nodeC012/4432634-1721078616 RUNJOBID= nodeC012-1721071433-807172 SLURM_JOB_ID= 7505533 Free space on /tmp= 723720 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 --file-size-limit 102400 -w /tmp/evaluation-result-4432634-1721078616/watcher-4432634-1721078616 -o /tmp/evaluation-result-4432634-1721078616/solver-4432634-1721078616 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721071433-807172 --watchdog 3760 pbscip -f HOME/instance-4432634-1721078616.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= bed0fcfa7fe1ab50726d34a7d1903e12 RANDOM SEED=283295705 nodeC012.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3492.212 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.37 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 : 0xb00001f cpu MHz : 3645.973 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 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 : 0xb00001f cpu MHz : 1197.322 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.37 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 : 0xb00001f cpu MHz : 1197.326 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 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 : 0xb00001f cpu MHz : 3669.088 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.37 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 : 0xb00001f cpu MHz : 3646.523 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 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 : 0xb00001f cpu MHz : 1197.513 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.37 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 : 0xb00001f cpu MHz : 1197.335 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 126399032 kB MemAvailable: 129500036 kB Buffers: 378168 kB Cached: 3528360 kB SwapCached: 0 kB Active: 648856 kB Inactive: 4004952 kB Active(anon): 1464 kB Inactive(anon): 783240 kB Active(file): 647392 kB Inactive(file): 3221712 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 18676 kB Writeback: 0 kB AnonPages: 739724 kB Mapped: 116188 kB Shmem: 37704 kB KReclaimable: 143864 kB Slab: 246312 kB SReclaimable: 143864 kB SUnreclaim: 102448 kB KernelStack: 3832 kB PageTables: 10220 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1146164 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 51520 kB HardwareCorrupted: 0 kB AnonHugePages: 964608 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 275272 kB DirectMap2M: 24795136 kB DirectMap1G: 111149056 kB Free space on /tmp at the end= 723704 MiB End job on nodeC012 at 2024-07-15 23:41:03