Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | MSAT | 3586.12 | 3597.83 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/ academics/normalized-slangford-3-11_wcsp.wbo |
| MD5SUM | d1e83745c12c7ec680c949b5ab02beb5 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 54 |
| Best CPU time to get the best result obtained on this benchmark | 86.971 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1089 |
| Total number of constraints | 53185 |
| Number of soft constraints | 53152 |
| Number of constraints which are clauses | 53152 |
| Number of constraints which are cardinality constraints (but not clauses) | 33 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 33 |
| Top cost | 976 |
| Min constraint cost | 1 |
| Max constraint cost | 976 |
| Sum of constraints costs | 37740146 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 34 |
| Number of bits of the biggest sum of numbers | 6 |
| 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.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4525849-1751626049.wbo>
0.41/0.48 c original problem has 54241 variables (54241 bin, 0 int, 0 impl, 0 cont) and 106338 constraints
0.41/0.48 c problem read in 0.46
1.28/1.37 c presolving:
1.68/1.72 c (round 1, fast) 59532 del vars, 29766 del conss, 0 add conss, 59532 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23386 impls, 132 clqs
1.68/1.78 c (round 2, fast) 59532 del vars, 29766 del conss, 0 add conss, 82918 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23386 impls, 1698 clqs
1.78/1.84 c (round 3, exhaustive) 59532 del vars, 30492 del conss, 0 add conss, 82918 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23386 impls, 1698 clqs
1.88/1.95 c (round 4, exhaustive) 59532 del vars, 30492 del conss, 0 add conss, 82918 chg bounds, 0 chg sides, 0 chg coeffs, 29074 upgd conss, 23386 impls, 1698 clqs
3.98/4.07 c (4.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
4.16/4.26 c (4.2s) no symmetry present (symcode time: 0.07)
4.26/4.31 c presolving (5 rounds: 5 fast, 3 medium, 3 exhaustive):
4.26/4.31 c 59557 deleted vars, 30492 deleted constraints, 0 added constraints, 82918 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.26/4.31 c 23386 implications, 1698 cliques
4.26/4.31 c presolved problem has 47836 variables (24475 bin, 0 int, 23361 impl, 0 cont) and 75846 constraints
4.26/4.31 c 1 constraints of type <knapsack>
4.26/4.31 c 29073 constraints of type <setppc>
4.26/4.31 c 23386 constraints of type <linear>
4.26/4.31 c 23386 constraints of type <indicator>
4.26/4.31 c transformed objective value is always integral (scale: 1)
4.26/4.31 c Presolving Time: 3.54
4.26/4.31 c - non default parameters ----------------------------------------------------------------------
4.26/4.31 c # SCIP version 10.0.0
4.26/4.31 c
4.26/4.31 c # maximal time in seconds to run
4.26/4.31 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
4.26/4.31 c limits/time = 3596.994128
4.26/4.31 c
4.26/4.31 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.26/4.31 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
4.26/4.31 c limits/memory = 27900
4.26/4.31 c
4.26/4.31 c # belongs reading time to solving time?
4.26/4.31 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
4.26/4.31 c timing/reading = TRUE
4.26/4.31 c
4.26/4.31 c -----------------------------------------------------------------------------------------------
4.26/4.31 c start solving
4.26/4.34 c
6.08/6.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.08/6.14 c 6.1s| 1 | 0 | 66 | - | 596M | 0 | 47k| 75k| 75k| 0 | 0 | 127 | 0 | 0.000000e+00 | -- | Inf | unknown
15.54/15.62 c 15.6s| 1 | 0 | 1064 | - | 625M | 0 | 47k| 75k| 75k| 4 | 1 | 127 | 0 | 0.000000e+00 | -- | Inf | unknown
16.84/16.94 c 16.9s| 1 | 0 | 1079 | - | 633M | 0 | 47k| 75k| 75k| 9 | 2 | 129 | 0 | 0.000000e+00 | -- | Inf | unknown
18.53/18.66 c 18.6s| 1 | 0 | 1120 | - | 642M | 0 | 47k| 75k| 75k| 14 | 3 | 132 | 0 | 0.000000e+00 | -- | Inf | unknown
20.52/20.64 c 20.6s| 1 | 0 | 1158 | - | 652M | 0 | 47k| 75k| 75k| 26 | 4 | 133 | 0 | 0.000000e+00 | -- | Inf | unknown
22.03/22.15 c 22.1s| 1 | 0 | 1224 | - | 663M | 0 | 47k| 75k| 75k| 36 | 5 | 134 | 0 | 0.000000e+00 | -- | Inf | unknown
23.81/23.97 c 24.0s| 1 | 0 | 1267 | - | 673M | 0 | 47k| 75k| 75k| 42 | 6 | 135 | 0 | 0.000000e+00 | -- | Inf | unknown
25.30/25.47 c 25.5s| 1 | 0 | 1359 | - | 686M | 0 | 47k| 75k| 75k| 51 | 7 | 137 | 0 | 0.000000e+00 | -- | Inf | unknown
26.92/27.01 c 27.0s| 1 | 0 | 1415 | - | 698M | 0 | 47k| 75k| 75k| 61 | 8 | 137 | 0 | 0.000000e+00 | -- | Inf | unknown
27.50/27.60 c 27.6s| 1 | 0 | 1449 | - | 709M | 0 | 47k| 75k| 75k| 65 | 9 | 138 | 0 | 0.000000e+00 | -- | Inf | unknown
28.60/28.78 c 28.8s| 1 | 0 | 1507 | - | 720M | 0 | 47k| 75k| 75k| 73 | 10 | 139 | 0 | 0.000000e+00 | -- | Inf | unknown
28.79/28.91 c 28.9s| 1 | 0 | 1538 | - | 728M | 0 | 47k| 75k| 75k| 80 | 11 | 140 | 0 | 0.000000e+00 | -- | Inf | unknown
34.37/34.56 c 34.5s| 1 | 0 | 3220 | - | 735M | 0 | 47k| 76k| 75k| 80 | 11 | 183 | 24 | 0.000000e+00 | -- | Inf | unknown
34.57/34.76 c 34.7s| 1 | 0 | 3272 | - | 743M | 0 | 47k| 76k| 75k| 86 | 12 | 188 | 24 | 0.000000e+00 | -- | Inf | unknown
34.67/34.83 c 34.8s| 1 | 0 | 3280 | - | 744M | 0 | 47k| 76k| 75k| 87 | 13 | 190 | 24 | 0.000000e+00 | -- | Inf | unknown
35.26/35.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
35.26/35.41 c 35.4s| 1 | 0 | 3337 | - | 745M | 0 | 47k| 75k| 75k| 87 | 13 | 196 | 34 | 0.000000e+00 | -- | Inf | unknown
35.36/35.59 c 35.6s| 1 | 0 | 3386 | - | 753M | 0 | 47k| 75k| 75k| 93 | 14 | 196 | 34 | 0.000000e+00 | -- | Inf | unknown
35.46/35.66 c 35.6s| 1 | 0 | 3388 | - | 753M | 0 | 47k| 75k| 75k| 96 | 15 | 198 | 34 | 0.000000e+00 | -- | Inf | unknown
36.46/36.68 c 36.7s| 1 | 0 | 3421 | - | 754M | 0 | 47k| 75k| 75k| 96 | 15 | 205 | 47 | 0.000000e+00 | -- | Inf | unknown
36.66/36.82 c 36.8s| 1 | 0 | 3482 | - | 761M | 0 | 47k| 75k| 75k| 103 | 16 | 206 | 47 | 0.000000e+00 | -- | Inf | unknown
36.76/36.94 c 36.9s| 1 | 0 | 3489 | - | 763M | 0 | 47k| 75k| 75k| 104 | 17 | 208 | 47 | 0.000000e+00 | -- | Inf | unknown
38.55/38.77 c 38.8s| 1 | 0 | 3511 | - | 764M | 0 | 47k| 74k| 75k| 104 | 17 | 213 | 67 | 0.000000e+00 | -- | Inf | unknown
38.75/38.91 c 38.9s| 1 | 0 | 3533 | - | 771M | 0 | 47k| 74k| 75k| 111 | 18 | 215 | 67 | 0.000000e+00 | -- | Inf | unknown
38.75/38.99 c 39.0s| 1 | 0 | 3539 | - | 772M | 0 | 47k| 74k| 75k| 113 | 19 | 216 | 67 | 0.000000e+00 | -- | Inf | unknown
40.64/40.85 c 40.8s| 1 | 0 | 3557 | - | 773M | 0 | 47k| 74k| 75k| 113 | 19 | 221 | 88 | 0.000000e+00 | -- | Inf | unknown
40.74/40.97 c 41.0s| 1 | 0 | 3599 | - | 780M | 0 | 47k| 74k| 75k| 120 | 20 | 223 | 88 | 0.000000e+00 | -- | Inf | unknown
40.85/41.05 c 41.0s| 1 | 0 | 3607 | - | 781M | 0 | 47k| 74k| 75k| 122 | 21 | 225 | 88 | 0.000000e+00 | -- | Inf | unknown
42.23/42.40 c 42.4s| 1 | 0 | 3628 | - | 783M | 0 | 47k| 74k| 75k| 122 | 21 | 228 | 103 | 0.000000e+00 | -- | Inf | unknown
42.33/42.54 c 42.5s| 1 | 0 | 3650 | - | 790M | 0 | 47k| 74k| 75k| 129 | 22 | 230 | 103 | 0.000000e+00 | -- | Inf | unknown
42.43/42.66 c 42.6s| 1 | 0 | 3665 | - | 791M | 0 | 47k| 74k| 75k| 131 | 23 | 233 | 103 | 0.000000e+00 | -- | Inf | unknown
43.84/44.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
43.84/44.08 c 44.1s| 1 | 0 | 3722 | - | 792M | 0 | 47k| 73k| 75k| 131 | 23 | 239 | 121 | 0.000000e+00 | -- | Inf | unknown
44.02/44.24 c 44.2s| 1 | 0 | 3785 | - | 799M | 0 | 47k| 73k| 75k| 140 | 24 | 241 | 121 | 0.000000e+00 | -- | Inf | unknown
44.12/44.31 c 44.3s| 1 | 0 | 3803 | - | 800M | 0 | 47k| 73k| 75k| 141 | 25 | 242 | 121 | 0.000000e+00 | -- | Inf | unknown
45.22/45.48 c 45.5s| 1 | 0 | 3845 | - | 801M | 0 | 47k| 73k| 75k| 141 | 25 | 247 | 136 | 0.000000e+00 | -- | Inf | unknown
45.42/45.64 c 45.6s| 1 | 0 | 3865 | - | 809M | 0 | 47k| 73k| 75k| 151 | 26 | 248 | 136 | 0.000000e+00 | -- | Inf | unknown
45.52/45.74 c 45.7s| 1 | 0 | 3887 | - | 810M | 0 | 47k| 73k| 75k| 154 | 27 | 250 | 136 | 0.000000e+00 | -- | Inf | unknown
46.51/46.74 c 46.7s| 1 | 2 | 3905 | - | 811M | 0 | 47k| 73k| 75k| 154 | 27 | 253 | 146 | 0.000000e+00 | -- | Inf | unknown
282.77/284.12 c 284s| 100 | 41 | 15624 | 138.1 | 987M | 21 | 47k| 75k| 0 | 348 | 0 |6075 |3135 | 0.000000e+00 | -- | Inf | 38.21%
417.13/418.95 c 419s| 200 | 87 | 30025 | 141.1 | 1014M | 32 | 47k| 76k| 75k| 394 | 2 |7727 |3851 | 0.000000e+00 | -- | Inf | 38.28%
451.52/453.41 c 453s| 300 | 131 | 38987 | 123.9 | 1048M | 38 | 47k| 76k| 75k| 401 | 1 |8470 |4060 | 0.000000e+00 | -- | Inf | 38.28%
520.52/522.61 c 523s| 400 | 165 | 46020 | 110.4 | 1079M | 44 | 47k| 76k| 75k| 430 | 1 |8918 |4206 | 0.000000e+00 | -- | Inf | 38.28%
591.41/593.75 c 594s| 500 | 199 | 56895 | 110.1 | 1161M | 47 | 47k| 77k| 75k| 527 | 3 |9702 |4436 | 0.000000e+00 | -- | Inf | 38.28%
632.71/635.16 o 858
632.71/635.16 c * 635s| 542 | 174 | 59823 | 107.0 |strongbr| 52 | 47k| 77k| 75k| 560 | 1 | 10k|4519 | 0.000000e+00 | 8.580000e+02 | Inf | 31.79%
658.81/661.30 c 661s| 600 | 196 | 65180 | 105.6 | 1207M | 55 | 47k| 74k| 0 | 608 | 0 | 10k|4674 | 0.000000e+00 | 8.580000e+02 | Inf | 31.83%
693.61/696.28 c 696s| 700 | 226 | 73048 | 101.7 | 1236M | 59 | 47k| 74k| 75k| 620 | 5 | 11k|4827 | 0.000000e+00 | 8.580000e+02 | Inf | 31.83%
718.44/721.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
718.44/721.17 c 721s| 800 | 255 | 80770 | 98.6 | 1265M | 66 | 47k| 74k| 0 | 642 | 0 | 12k|4967 | 0.000000e+00 | 8.580000e+02 | Inf | 31.83%
735.77/738.60 c 739s| 900 | 297 | 88008 | 95.7 | 1293M | 66 | 47k| 73k| 0 | 690 | 0 | 12k|5071 | 0.000000e+00 | 8.580000e+02 | Inf | 31.83%
773.65/776.50 c 776s| 1000 | 349 |102430 | 100.6 | 1327M | 66 | 47k| 73k| 75k| 754 | 1 | 13k|5249 | 0.000000e+00 | 8.580000e+02 | Inf | 31.83%
791.11/794.09 c 794s| 1100 | 415 |114273 | 102.2 | 1354M | 71 | 47k| 73k| 75k| 822 | 1 | 13k|5377 | 0.000000e+00 | 8.580000e+02 | Inf | 31.83%
808.44/811.40 c 811s| 1200 | 467 |125737 | 103.2 | 1402M | 72 | 47k| 73k| 75k| 855 | 1 | 13k|5449 | 0.000000e+00 | 8.580000e+02 | Inf | 31.83%
836.77/839.86 c 840s| 1300 | 529 |135870 | 103.1 | 1441M | 73 | 47k| 73k| 0 | 884 | 0 | 14k|5540 | 0.000000e+00 | 8.580000e+02 | Inf | 31.83%
867.88/871.01 c 871s| 1400 | 593 |152730 | 107.8 | 1469M | 73 | 47k| 73k| 75k| 943 | 2 | 14k|5679 | 0.000000e+00 | 8.580000e+02 | Inf | 31.83%
923.00/926.33 c 926s| 1500 | 641 |168160 | 110.9 | 1557M | 73 | 47k| 73k| 75k|1128 | 1 | 15k|5877 | 0.000000e+00 | 8.580000e+02 | Inf | 31.83%
967.67/971.18 c 971s| 1600 | 683 |182413 | 112.9 | 1614M | 73 | 47k| 73k| 75k|1316 | 1 | 15k|5987 | 0.000000e+00 | 8.580000e+02 | Inf | 31.83%
994.37/997.95 c 998s| 1700 | 729 |201241 | 117.3 | 1670M | 73 | 47k| 73k| 75k|1499 | 1 | 15k|6060 | 0.000000e+00 | 8.580000e+02 | Inf | 31.83%
1027.76/1031.48 o 782
1027.76/1031.48 c d1031s| 1789 | 696 |216935 | 120.2 |linesear| 73 | 47k| 73k| 75k| 0 | 1 | 16k|6254 | 0.000000e+00 | 7.820000e+02 | Inf | 36.13%
1029.25/1033.00 c 1033s| 1800 | 703 |218311 | 120.3 | 1684M | 73 | 47k| 72k| 75k|1550 | 2 | 16k|6262 | 0.000000e+00 | 7.820000e+02 | Inf | 36.13%
1045.31/1049.08 c 1049s| 1900 | 761 |232068 | 121.2 | 1710M | 73 | 47k| 71k| 75k|1580 | 3 | 16k|6327 | 0.000000e+00 | 7.820000e+02 | Inf | 36.13%
1062.45/1066.25 c 1066s| 2000 | 835 |244031 | 121.1 | 1734M | 73 | 47k| 71k| 75k|1641 | 1 | 16k|6397 | 0.000000e+00 | 7.820000e+02 | Inf | 36.13%
1079.20/1083.02 c 1083s| 2100 | 903 |252371 | 119.3 | 1749M | 73 | 47k| 71k| 75k|1687 | 2 | 16k|6484 | 0.000000e+00 | 7.820000e+02 | Inf | 36.13%
1105.41/1109.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1105.41/1109.31 c 1109s| 2200 | 961 |262570 | 118.5 | 1783M | 74 | 47k| 71k| 75k|1770 | 1 | 17k|6569 | 0.000000e+00 | 7.820000e+02 | Inf | 36.13%
1131.44/1135.43 c 1135s| 2300 | 1031 |269977 | 116.6 | 1808M | 74 | 47k| 71k| 75k|2015 | 1 | 17k|6624 | 0.000000e+00 | 7.820000e+02 | Inf | 36.13%
1165.63/1169.75 c 1170s| 2400 | 1086 |281243 | 116.4 | 1837M | 74 | 47k| 71k| 0 |2194 | 0 | 17k|6710 | 0.000000e+00 | 7.820000e+02 | Inf | 36.13%
1190.25/1194.42 c 1194s| 2500 | 1144 |294103 | 116.9 | 1866M | 74 | 47k| 71k| 75k|2287 | 1 | 17k|6779 | 0.000000e+00 | 7.820000e+02 | Inf | 36.13%
1204.51/1208.71 c 1209s| 2600 | 1192 |305918 | 117.0 | 1894M | 74 | 47k| 71k| 75k|2324 | 1 | 17k|6836 | 0.000000e+00 | 7.820000e+02 | Inf | 36.13%
1223.54/1227.88 c 1228s| 2700 | 1246 |314107 | 115.7 | 1913M | 74 | 47k| 71k| 75k|2446 | 1 | 17k|6891 | 0.000000e+00 | 7.820000e+02 | Inf | 36.13%
1256.04/1260.44 c 1260s| 2800 | 1296 |324374 | 115.2 | 1935M | 74 | 47k| 71k| 75k|2644 | 1 | 18k|6956 | 0.000000e+00 | 7.820000e+02 | Inf | 36.13%
1278.77/1283.22 c 1283s| 2900 | 1362 |333872 | 114.5 | 1951M | 75 | 47k| 71k| 75k|2711 | 1 | 18k|7028 | 0.000000e+00 | 7.820000e+02 | Inf | 36.13%
1296.92/1301.47 c 1301s| 3000 | 1410 |346637 | 114.9 | 1987M | 75 | 47k| 71k| 75k|2752 | 4 | 18k|7100 | 0.000000e+00 | 7.820000e+02 | Inf | 36.13%
1328.22/1332.88 c 1333s| 3100 | 1456 |356226 | 114.3 | 2012M | 75 | 47k| 71k| 75k|2798 | 2 | 19k|7174 | 0.000000e+00 | 7.820000e+02 | Inf | 36.13%
1346.86/1351.56 c 1352s| 3200 | 1502 |366416 | 113.9 | 2036M | 75 | 47k| 71k| 0 |2850 | 0 | 19k|7243 | 0.000000e+00 | 7.820000e+02 | Inf | 36.13%
1362.41/1367.16 c 1367s| 3300 | 1548 |376363 | 113.5 | 2060M | 75 | 47k| 71k| 75k|2855 | 2 | 20k|7336 | 0.000000e+00 | 7.820000e+02 | Inf | 36.13%
1377.26/1382.09 c 1382s| 3400 | 1594 |387073 | 113.3 | 2088M | 75 | 47k| 71k| 75k|2896 | 1 | 20k|7367 | 0.000000e+00 | 7.820000e+02 | Inf | 36.13%
1392.10/1396.98 c 1397s| 3500 | 1654 |398346 | 113.3 | 2103M | 75 | 47k| 71k| 0 |2919 | 0 | 20k|7458 | 0.000000e+00 | 7.820000e+02 | Inf | 36.13%
1411.63/1416.56 c 1417s| 3600 | 1720 |411317 | 113.7 | 2122M | 75 | 47k| 71k| 0 |2964 | 0 | 20k|7550 | 0.000000e+00 | 7.820000e+02 | Inf | 36.13%
1431.38/1436.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1431.38/1436.39 c 1436s| 3700 | 1770 |421169 | 113.3 | 2148M | 75 | 47k| 71k| 75k|3052 | 1 | 20k|7611 | 0.000000e+00 | 7.820000e+02 | Inf | 36.13%
1446.92/1451.97 c 1452s| 3800 | 1826 |432635 | 113.4 | 2167M | 75 | 47k| 71k| 75k|3104 | 1 | 21k|7689 | 0.000000e+00 | 7.820000e+02 | Inf | 36.13%
1454.60/1459.61 o 701
1454.60/1459.61 c *1460s| 3822 | 1635 |436887 | 113.8 |strongbr| 75 | 47k| 71k| 75k|3116 | 7 | 21k|7732 | 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
1474.63/1479.79 c 1480s| 3900 | 1659 |443141 | 113.2 | 2199M | 75 | 47k| 69k| 75k|3213 | 1 | 21k|7785 | 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
1492.28/1497.49 c 1497s| 4000 | 1712 |453989 | 113.0 | 2221M | 75 | 47k| 69k| 75k|3295 | 1 | 21k|7869 | 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
1526.38/1531.69 c 1532s| 4100 | 1753 |466968 | 113.4 | 2248M | 75 | 47k| 69k| 75k|3406 | 1 | 21k|7972 | 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
1549.51/1554.82 c 1555s| 4200 | 1797 |476429 | 113.0 | 2293M | 75 | 47k| 69k| 75k|3516 | 1 | 22k|8058 | 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
1582.12/1587.51 c 1587s| 4300 | 1849 |494289 | 114.5 | 2321M | 75 | 47k| 69k| 75k|3674 | 1 | 22k|8177 | 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
1601.06/1606.56 c 1607s| 4400 | 1897 |503689 | 114.1 | 2347M | 75 | 47k| 69k| 75k|3719 | 1 | 23k|8280 | 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
1613.42/1618.94 c 1619s| 4500 | 1933 |511624 | 113.3 | 2365M | 75 | 47k| 69k| 75k|3742 | 2 | 23k|8367 | 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
1631.16/1636.77 c 1637s| 4600 | 1991 |520888 | 112.8 | 2377M | 75 | 47k| 69k| 75k|3809 | 1 | 23k|8423 | 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
1656.30/1661.97 c 1662s| 4700 | 2055 |528749 | 112.1 | 2402M | 75 | 47k| 69k| 75k|3920 | 1 | 23k|8469 | 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
1674.83/1680.56 c 1681s| 4800 | 2109 |537853 | 111.7 | 2424M | 75 | 47k| 69k| 75k|3975 | 2 | 24k|8572 | 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
1697.96/1703.79 c 1704s| 4900 | 2155 |547979 | 111.5 | 2453M | 75 | 47k| 69k| 0 |4072 | 0 | 24k|8643 | 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
1715.41/1721.28 c 1721s| 5000 | 2213 |562999 | 112.2 | 2470M | 75 | 47k| 69k| 75k|4143 | 1 | 25k|8730 | 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
1733.76/1739.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1733.76/1739.62 c 1740s| 5100 | 2259 |574744 | 112.3 | 2509M | 75 | 47k| 69k| 0 |4242 | 0 | 25k|8824 | 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
1757.20/1763.19 c 1763s| 5200 | 2301 |582481 | 111.7 | 2534M | 75 | 47k| 69k| 0 |4336 | 0 | 25k|8907 | 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
1792.18/1798.23 c 1798s| 5300 | 2347 |591128 | 111.2 | 2567M | 75 | 47k| 69k| 75k|4616 | 4 | 26k|8979 | 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
1812.63/1818.73 c 1819s| 5400 | 2388 |604496 | 111.6 | 2591M | 75 | 47k| 69k| 75k|4702 | 2 | 26k|9078 | 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
1834.76/1840.92 c 1841s| 5500 | 2432 |615132 | 111.5 | 2622M | 75 | 47k| 69k| 75k|4793 | 1 | 26k|9195 | 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
1867.36/1873.61 c 1874s| 5600 | 2469 |624624 | 111.2 | 2663M | 75 | 47k| 69k| 75k|4915 | 2 | 27k|9314 | 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
1889.59/1895.90 c 1896s| 5700 | 2509 |634278 | 111.0 | 2698M | 75 | 47k| 69k| 75k|5070 | 1 | 27k|9368 | 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
1903.95/1910.39 c 1910s| 5800 | 2548 |642375 | 110.4 | 2729M | 75 | 47k| 69k| 75k|5112 | 1 | 27k|9412 | 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
1930.17/1936.61 c 1937s| 5900 | 2585 |652161 | 110.2 | 2762M | 75 | 47k| 69k| 0 |5202 | 0 | 27k|9534 | 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
1952.10/1958.69 c 1959s| 6000 | 2634 |662320 | 110.1 | 2799M | 75 | 47k| 69k| 75k|5297 | 1 | 28k|9590 | 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
1966.86/1973.46 c 1973s| 6100 | 2674 |671143 | 109.7 | 2819M | 75 | 47k| 69k| 75k|5317 | 2 | 28k|9695 | 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
1982.71/1989.32 c 1989s| 6200 | 2708 |681356 | 109.6 | 2843M | 75 | 47k| 69k| 75k|5342 | 2 | 28k|9778 | 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
1994.87/2001.57 c 2002s| 6300 | 2760 |690869 | 109.4 | 2863M | 78 | 47k| 69k| 75k|5394 | 1 | 28k|9832 | 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2013.21/2019.92 c 2020s| 6400 | 2818 |703680 | 109.7 | 2886M | 87 | 47k| 69k| 75k|5433 | 3 | 29k|9928 | 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2029.16/2036.00 c 2036s| 6500 | 2864 |713457 | 109.5 | 2917M | 87 | 47k| 69k| 75k|5455 | 1 | 29k| 10k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2040.53/2047.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2040.53/2047.31 c 2047s| 6600 | 2888 |719270 | 108.7 | 2951M | 87 | 47k| 69k| 75k|5467 | 2 | 29k| 10k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2062.66/2069.51 c 2069s| 6700 | 2917 |728978 | 108.5 | 2973M | 88 | 47k| 69k| 75k|5547 | 1 | 30k| 10k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2076.32/2083.22 c 2083s| 6800 | 2953 |737240 | 108.1 | 3002M | 88 | 47k| 69k| 75k|5608 | 1 | 30k| 10k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2086.10/2093.03 c 2093s| 6900 | 2995 |742920 | 107.4 | 3032M | 88 | 47k| 69k| 75k|5635 | 3 | 30k| 10k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2097.75/2104.71 c 2105s| 7000 | 3023 |748858 | 106.7 | 3065M | 88 | 47k| 69k| 75k|5642 | 2 | 31k| 10k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2111.71/2118.70 c 2119s| 7100 | 3057 |755276 | 106.1 | 3093M | 88 | 47k| 69k| 75k|5685 | 1 | 31k| 10k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2119.68/2126.70 c 2127s| 7200 | 3088 |761269 | 105.5 | 3113M | 88 | 47k| 69k| 0 |5687 | 0 | 31k| 10k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2130.06/2137.12 c 2137s| 7300 | 3127 |767757 | 104.9 | 3139M | 88 | 47k| 69k| 75k|5694 | 1 | 32k| 10k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2139.93/2147.03 c 2147s| 7400 | 3179 |776719 | 104.7 | 3162M | 88 | 47k| 69k| 75k|5713 | 1 | 32k| 10k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2167.44/2174.62 c 2175s| 7500 | 3225 |787117 | 104.7 | 3191M | 88 | 47k| 69k| 75k|5845 | 1 | 32k| 10k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2186.08/2193.36 c 2193s| 7600 | 3266 |795656 | 104.4 | 3211M | 88 | 47k| 69k| 75k|6114 | 2 | 32k| 10k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2210.40/2217.78 c 2218s| 7700 | 3326 |805892 | 104.4 | 3233M | 88 | 47k| 69k| 75k|6201 | 2 | 32k| 10k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2240.02/2247.44 c 2247s| 7800 | 3370 |815227 | 104.3 | 3270M | 88 | 47k| 69k| 0 |6435 | 0 | 33k| 10k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2254.17/2261.64 c 2262s| 7900 | 3430 |823321 | 104.0 | 3284M | 88 | 47k| 69k| 75k|6498 | 1 | 33k| 10k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2272.81/2280.38 c 2280s| 8000 | 3498 |829762 | 103.5 | 3300M | 88 | 47k| 69k| 75k|6552 | 2 | 33k| 10k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2283.88/2291.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2283.88/2291.43 c 2291s| 8100 | 3531 |837359 | 103.1 | 3327M | 88 | 47k| 69k| 75k|6587 | 1 | 33k| 10k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2297.14/2304.70 c 2305s| 8200 | 3588 |847158 | 103.1 | 3349M | 88 | 47k| 69k| 75k|6615 | 1 | 34k| 10k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2310.41/2318.07 c 2318s| 8300 | 3626 |854854 | 102.8 | 3375M | 88 | 47k| 69k| 75k|6622 | 1 | 34k| 10k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2324.15/2331.84 c 2332s| 8400 | 3662 |862631 | 102.5 | 3399M | 88 | 47k| 69k| 75k|6638 | 2 | 34k| 10k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2337.60/2345.30 c 2345s| 8500 | 3686 |871402 | 102.3 | 3422M | 91 | 47k| 69k| 75k|6649 | 2 | 34k| 11k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2348.77/2356.54 c 2357s| 8600 | 3707 |879287 | 102.0 | 3446M | 97 | 47k| 69k| 0 |6653 | 0 | 35k| 11k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2357.64/2365.46 c 2365s| 8700 | 3743 |886560 | 101.7 | 3464M | 97 | 47k| 69k| 75k|6662 | 1 | 35k| 11k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2368.32/2376.16 c 2376s| 8800 | 3775 |894132 | 101.4 | 3490M | 97 | 47k| 69k| 75k|6676 | 1 | 35k| 11k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2376.09/2383.95 c 2384s| 8900 | 3807 |899409 | 100.8 | 3508M | 97 | 47k| 69k| 75k|6696 | 1 | 36k| 11k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2391.14/2399.06 c 2399s| 9000 | 3833 |906322 | 100.5 | 3524M | 105 | 47k| 69k| 75k|6733 | 0 | 36k| 11k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2399.23/2407.13 c 2407s| 9100 | 3861 |911310 | 99.9 | 3546M | 105 | 47k| 69k| 75k|6754 | 1 | 36k| 11k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2409.37/2417.30 c 2417s| 9200 | 3893 |917186 | 99.5 | 3575M | 105 | 47k| 69k| 75k|6780 | 3 | 36k| 11k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2420.44/2428.41 c 2428s| 9300 | 3941 |924372 | 99.2 | 3601M | 105 | 47k| 69k| 75k|6803 | 1 | 37k| 11k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2429.31/2437.31 c 2437s| 9400 | 3977 |929011 | 98.6 | 3612M | 105 | 47k| 69k| 75k|6808 | 1 | 37k| 11k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2441.87/2449.95 c 2450s| 9500 | 4021 |936314 | 98.4 | 3637M | 105 | 47k| 69k| 75k|6829 | 1 | 37k| 11k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2452.44/2460.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2452.44/2460.57 c 2461s| 9600 | 4065 |944768 | 98.2 | 3656M | 105 | 47k| 69k| 75k|6854 | 1 | 37k| 11k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2462.21/2470.39 c 2470s| 9700 | 4107 |950285 | 97.8 | 3676M | 105 | 47k| 69k| 75k|6860 | 1 | 37k| 11k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2470.99/2479.18 c 2479s| 9800 | 4153 |957232 | 97.5 | 3698M | 105 | 47k| 69k| 75k|6868 | 1 | 38k| 11k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2480.54/2488.71 c 2489s| 9900 | 4192 |963159 | 97.1 | 3718M | 105 | 47k| 69k| 0 |6886 | 0 | 38k| 11k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2488.93/2497.17 c 2497s| 10000 | 4234 |969254 | 96.7 | 3737M | 105 | 47k| 69k| 75k|6894 | 2 | 38k| 11k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2498.68/2506.96 c 2507s| 10100 | 4272 |975318 | 96.4 | 3754M | 105 | 47k| 69k| 75k|6923 | 3 | 38k| 11k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2507.77/2516.04 c 2516s| 10200 | 4304 |982079 | 96.1 | 3775M | 109 | 47k| 69k| 0 |6927 | 0 | 38k| 11k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2516.12/2524.47 c 2524s| 10300 | 4332 |986329 | 95.6 | 3792M | 116 | 47k| 69k| 75k|6930 | 2 | 39k| 11k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2525.89/2534.28 c 2534s| 10400 | 4376 |993928 | 95.4 | 3805M | 117 | 47k| 69k| 0 |6937 | 0 | 39k| 11k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2533.57/2542.00 c 2542s| 10500 | 4413 |998664 | 94.9 | 3825M | 121 | 47k| 69k| 75k|6942 | 1 | 39k| 11k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2540.14/2548.58 c 2549s| 10600 | 4443 | 1002k| 94.4 | 3844M | 121 | 47k| 69k| 75k|6946 | 1 | 39k| 11k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2547.52/2555.97 c 2556s| 10700 | 4480 | 1007k| 94.0 | 3857M | 122 | 47k| 69k| 75k|6952 | 1 | 39k| 11k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2558.28/2566.76 c 2567s| 10800 | 4519 | 1013k| 93.6 | 3869M | 148 | 47k| 69k| 75k|6955 | 1 | 40k| 11k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2565.46/2573.93 c 2574s| 10900 | 4542 | 1017k| 93.2 | 3882M | 148 | 47k| 69k| 75k|6961 | 3 | 40k| 11k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2573.93/2582.48 c 2582s| 11000 | 4561 | 1022k| 92.8 | 3894M | 148 | 47k| 69k| 0 |6961 | 0 | 40k| 11k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2582.81/2591.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2582.81/2591.31 c 2591s| 11100 | 4600 | 1027k| 92.4 | 3907M | 148 | 47k| 69k| 75k|6966 | 2 | 40k| 11k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2589.78/2598.35 c 2598s| 11200 | 4645 | 1031k| 92.0 | 3921M | 148 | 47k| 69k| 75k|6968 | 1 | 41k| 12k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2596.06/2604.67 c 2605s| 11300 | 4674 | 1035k| 91.5 | 3938M | 148 | 47k| 69k| 75k|6970 | 1 | 41k| 12k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2604.44/2613.06 c 2613s| 11400 | 4704 | 1040k| 91.1 | 3952M | 148 | 47k| 69k| 75k|6973 | 1 | 41k| 12k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2611.11/2619.77 c 2620s| 11500 | 4732 | 1044k| 90.7 | 3963M | 148 | 47k| 69k| 75k|6978 | 2 | 41k| 12k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2621.07/2629.71 c 2630s| 11600 | 4767 | 1050k| 90.4 | 3980M | 148 | 47k| 69k| 75k|6979 | 1 | 41k| 12k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2630.64/2639.39 c 2639s| 11700 | 4801 | 1055k| 90.1 | 4003M | 148 | 47k| 69k| 75k|6982 | 1 | 42k| 12k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2639.61/2648.33 c 2648s| 11800 | 4829 | 1061k| 89.8 | 4012M | 148 | 47k| 69k| 0 |6983 | 0 | 42k| 12k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2651.47/2660.20 c 2660s| 11900 | 4851 | 1067k| 89.5 | 4036M | 148 | 47k| 69k| 0 |6984 | 0 | 42k| 12k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2660.26/2669.09 c 2669s| 12000 | 4867 | 1072k| 89.2 | 4063M | 148 | 47k| 70k| 0 |6985 | 0 | 42k| 12k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2670.32/2679.14 c 2679s| 12100 | 4887 | 1078k| 89.0 | 4082M | 148 | 47k| 69k| 0 |6986 | 0 | 43k| 12k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2681.77/2690.62 c 2691s| 12200 | 4918 | 1086k| 88.9 | 4095M | 148 | 47k| 69k| 75k|6986 | 1 | 43k| 12k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2692.44/2701.33 c 2701s| 12300 | 4945 | 1091k| 88.6 | 4108M | 148 | 47k| 69k| 75k|6987 | 1 | 43k| 12k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2698.92/2707.84 c 2708s| 12400 | 4967 | 1095k| 88.2 | 4154M | 148 | 47k| 69k| 75k|6989 | 1 | 44k| 12k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2707.39/2716.30 c 2716s| 12500 | 4989 | 1101k| 87.9 | 4173M | 148 | 47k| 69k| 0 |6991 | 0 | 44k| 12k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2713.97/2722.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2713.97/2722.93 c 2723s| 12600 | 5010 | 1105k| 87.6 | 4194M | 148 | 47k| 69k| 0 |6992 | 0 | 44k| 12k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2719.25/2728.21 c 2728s| 12700 | 5031 | 1109k| 87.2 | 4210M | 148 | 47k| 69k| 75k|6992 | 1 | 44k| 12k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2727.42/2736.47 c 2736s| 12800 | 5060 | 1115k| 87.0 | 4226M | 148 | 47k| 69k| 75k|6995 | 1 | 44k| 12k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2736.00/2745.06 c 2745s| 12900 | 5093 | 1121k| 86.8 | 4241M | 148 | 47k| 69k| 75k|7000 | 2 | 45k| 12k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2745.56/2754.67 c 2755s| 13000 | 5128 | 1127k| 86.6 | 4264M | 148 | 47k| 69k| 75k|7002 | 2 | 45k| 12k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2751.84/2760.92 c 2761s| 13100 | 5153 | 1131k| 86.2 | 4272M | 148 | 47k| 69k| 75k|7002 | 1 | 45k| 12k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2759.11/2768.20 c 2768s| 13200 | 5185 | 1136k| 85.9 | 4289M | 148 | 47k| 69k| 75k|7003 | 1 | 45k| 12k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2766.80/2775.90 c 2776s| 13300 | 5209 | 1140k| 85.6 | 4312M | 148 | 47k| 69k| 0 |7007 | 0 | 45k| 12k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2774.37/2783.55 c 2784s| 13400 | 5234 | 1145k| 85.3 | 4333M | 148 | 47k| 69k| 75k|7007 | 1 | 46k| 12k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2781.34/2790.58 c 2791s| 13500 | 5252 | 1150k| 85.1 | 4336M | 148 | 47k| 69k| 75k|7007 | 1 | 46k| 12k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2788.83/2798.03 c 2798s| 13600 | 5276 | 1155k| 84.8 | 4342M | 148 | 47k| 69k| 75k|7008 | 1 | 46k| 12k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2797.90/2807.18 c 2807s| 13700 | 5294 | 1161k| 84.6 | 4356M | 148 | 47k| 69k| 75k|7010 | 1 | 46k| 12k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2810.35/2819.65 c 2820s| 13800 | 5316 | 1167k| 84.5 | 4368M | 148 | 47k| 69k| 75k|7010 | 1 | 46k| 12k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2822.62/2831.99 c 2832s| 13900 | 5356 | 1173k| 84.3 | 4387M | 148 | 47k| 69k| 75k|7011 | 2 | 47k| 12k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2832.19/2841.50 c 2841s| 14000 | 5395 | 1177k| 84.0 | 4405M | 148 | 47k| 69k| 0 |7025 | 0 | 47k| 12k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2841.35/2850.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2841.35/2850.71 c 2851s| 14100 | 5435 | 1183k| 83.8 | 4417M | 148 | 47k| 69k| 75k|7026 | 1 | 47k| 12k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2848.53/2857.98 c 2858s| 14200 | 5474 | 1188k| 83.5 | 4429M | 148 | 47k| 69k| 75k|7029 | 1 | 47k| 12k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2859.79/2869.29 c 2869s| 14300 | 5520 | 1195k| 83.5 | 4445M | 148 | 47k| 69k| 75k|7029 | 2 | 48k| 13k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2875.83/2885.38 c 2885s| 14400 | 5555 | 1200k| 83.3 | 4457M | 148 | 47k| 69k| 75k|7030 | 1 | 48k| 13k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2884.52/2894.08 c 2894s| 14500 | 5580 | 1204k| 83.0 | 4473M | 148 | 47k| 69k| 0 |7030 | 0 | 48k| 13k| 0.000000e+00 | 7.010000e+02 | Inf | 36.13%
2888.29/2897.86 o 380
2888.29/2897.86 c *2898s| 14546 | 2637 | 1206k| 82.8 |strongbr| 148 | 47k| 69k| 75k|7031 | 1 | 48k| 13k| 0.000000e+00 | 3.800000e+02 | Inf | 36.69%
2891.98/2901.58 c 2902s| 14600 | 2649 | 1207k| 82.6 | 4486M | 148 | 47k| 54k| 75k|7031 | 2 | 48k| 13k| 0.000000e+00 | 3.800000e+02 | Inf | 36.69%
2898.96/2908.54 c 2909s| 14700 | 2672 | 1211k| 82.3 | 4492M | 148 | 47k| 54k| 75k|7032 | 1 | 49k| 13k| 0.000000e+00 | 3.800000e+02 | Inf | 36.77%
2910.23/2919.82 c 2920s| 14800 | 2702 | 1215k| 82.0 | 4495M | 148 | 47k| 53k| 75k|7059 | 2 | 49k| 13k| 0.000000e+00 | 3.800000e+02 | Inf | 36.78%
2915.52/2925.12 c 2925s| 14900 | 2728 | 1219k| 81.7 | 4502M | 148 | 47k| 53k| 75k|7061 | 1 | 49k| 13k| 0.000000e+00 | 3.800000e+02 | Inf | 36.82%
2922.79/2932.44 c 2932s| 15000 | 2748 | 1221k| 81.3 | 4507M | 148 | 47k| 54k| 75k|7089 | 1 | 50k| 13k| 0.000000e+00 | 3.800000e+02 | Inf | 36.82%
2928.17/2937.90 c 2938s| 15100 | 2777 | 1225k| 81.0 | 4515M | 148 | 47k| 53k| 0 |7092 | 0 | 50k| 13k| 0.000000e+00 | 3.800000e+02 | Inf | 36.82%
2937.64/2947.30 c 2947s| 15200 | 2799 | 1229k| 80.7 | 4522M | 148 | 47k| 54k| 75k|7106 | 1 | 50k| 13k| 0.000000e+00 | 3.800000e+02 | Inf | 36.89%
2943.92/2953.65 c 2954s| 15300 | 2823 | 1231k| 80.4 | 4527M | 148 | 47k| 54k| 75k|7122 | 1 | 50k| 13k| 0.000000e+00 | 3.800000e+02 | Inf | 36.89%
2951.20/2960.94 c 2961s| 15400 | 2850 | 1235k| 80.1 | 4535M | 148 | 47k| 54k| 75k|7136 | 1 | 51k| 13k| 0.000000e+00 | 3.800000e+02 | Inf | 36.93%
2963.27/2973.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2963.27/2973.05 c 2973s| 15500 | 2878 | 1238k| 79.8 | 4541M | 148 | 47k| 53k| 75k|7176 | 1 | 51k| 13k| 0.000000e+00 | 3.800000e+02 | Inf | 36.97%
2969.25/2979.01 c 2979s| 15600 | 2902 | 1241k| 79.5 | 4549M | 148 | 47k| 53k| 0 |7181 | 0 | 51k| 13k| 0.000000e+00 | 3.800000e+02 | Inf | 36.97%
2976.41/2986.21 c 2986s| 15700 | 2933 | 1244k| 79.2 | 4554M | 148 | 47k| 54k| 75k|7183 | 1 | 51k| 13k| 0.000000e+00 | 3.800000e+02 | Inf | 36.97%
2986.98/2996.85 c 2997s| 15800 | 2958 | 1249k| 79.0 | 4559M | 148 | 47k| 53k| 75k|7205 | 2 | 52k| 13k| 0.000000e+00 | 3.800000e+02 | Inf | 37.01%
2999.15/3009.06 c 3009s| 15900 | 2983 | 1253k| 78.7 | 4570M | 148 | 47k| 53k| 0 |7255 | 0 | 52k| 13k| 0.000000e+00 | 3.800000e+02 | Inf | 37.01%
3006.13/3016.06 c 3016s| 16000 | 3008 | 1255k| 78.4 | 4578M | 148 | 47k| 53k| 0 |7263 | 0 | 52k| 13k| 0.000000e+00 | 3.800000e+02 | Inf | 37.01%
3016.98/3026.98 c 3027s| 16100 | 3037 | 1259k| 78.1 | 4584M | 148 | 47k| 54k| 75k|7303 | 3 | 53k| 13k| 0.000000e+00 | 3.800000e+02 | Inf | 37.02%
3039.31/3049.30 c 3049s| 16200 | 3063 | 1263k| 77.9 | 4605M | 148 | 47k| 54k| 75k|7400 | 2 | 53k| 13k| 0.000000e+00 | 3.800000e+02 | Inf | 37.02%
3048.89/3058.96 c 3059s| 16300 | 3082 | 1267k| 77.6 | 4613M | 148 | 47k| 54k| 75k|7431 | 2 | 53k| 13k| 0.000000e+00 | 3.800000e+02 | Inf | 37.02%
3055.08/3065.14 c 3065s| 16400 | 3109 | 1270k| 77.3 | 4620M | 148 | 47k| 54k| 75k|7434 | 2 | 54k| 13k| 0.000000e+00 | 3.800000e+02 | Inf | 37.02%
3064.84/3074.92 c 3075s| 16500 | 3131 | 1274k| 77.1 | 4628M | 149 | 47k| 54k| 75k|7455 | 0 | 54k| 13k| 0.000000e+00 | 3.800000e+02 | Inf | 37.02%
3085.57/3095.73 c 3096s| 16600 | 3165 | 1279k| 77.0 | 4637M | 149 | 47k| 54k| 75k|7526 | 1 | 54k| 13k| 0.000000e+00 | 3.800000e+02 | Inf | 37.02%
3097.73/3107.96 c 3108s| 16700 | 3197 | 1282k| 76.7 | 4642M | 149 | 47k| 54k| 75k|7585 | 1 | 55k| 13k| 0.000000e+00 | 3.800000e+02 | Inf | 37.02%
3104.02/3114.23 c 3114s| 16800 | 3225 | 1285k| 76.4 | 4657M | 149 | 47k| 54k| 0 |7605 | 0 | 55k| 13k| 0.000000e+00 | 3.800000e+02 | Inf | 37.02%
3111.59/3121.87 c 3122s| 16900 | 3249 | 1288k| 76.1 | 4666M | 149 | 47k| 54k| 75k|7611 | 1 | 55k| 13k| 0.000000e+00 | 3.800000e+02 | Inf | 37.02%
3120.66/3130.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3120.66/3130.90 c 3131s| 17000 | 3272 | 1291k| 75.9 | 4675M | 149 | 47k| 54k| 75k|7638 | 1 | 56k| 13k| 0.000000e+00 | 3.800000e+02 | Inf | 37.02%
3130.63/3140.91 c 3141s| 17100 | 3305 | 1296k| 75.7 | 4684M | 149 | 47k| 54k| 75k|7676 | 2 | 56k| 13k| 0.000000e+00 | 3.800000e+02 | Inf | 37.02%
3142.89/3153.29 c 3153s| 17200 | 3318 | 1300k| 75.5 | 4750M | 164 | 47k| 54k| 75k|7727 | 0 | 56k| 13k| 0.000000e+00 | 3.800000e+02 | Inf | 37.03%
3149.97/3160.35 c 3160s| 17300 | 3340 | 1302k| 75.2 | 4755M | 164 | 47k| 55k| 75k|7743 | 0 | 57k| 13k| 0.000000e+00 | 3.800000e+02 | Inf | 37.03%
3154.77/3165.14 c 3165s| 17400 | 3357 | 1305k| 74.9 | 4762M | 164 | 47k| 55k| 75k|7748 | 1 | 57k| 13k| 0.000000e+00 | 3.800000e+02 | Inf | 37.04%
3165.73/3176.18 c 3176s| 17500 | 3384 | 1309k| 74.7 | 4768M | 164 | 47k| 55k| 75k|7773 | 2 | 58k| 13k| 0.000000e+00 | 3.800000e+02 | Inf | 37.05%
3177.38/3187.89 c 3188s| 17600 | 3408 | 1313k| 74.5 | 4776M | 164 | 47k| 55k| 0 |7801 | 0 | 58k| 13k| 0.000000e+00 | 3.800000e+02 | Inf | 37.05%
3193.93/3204.41 c 3204s| 17700 | 3437 | 1316k| 74.3 | 4784M | 164 | 47k| 55k| 75k|7859 | 1 | 58k| 13k| 0.000000e+00 | 3.800000e+02 | Inf | 37.05%
3216.36/3226.97 c 3227s| 17800 | 3465 | 1319k| 74.0 | 4793M | 164 | 47k| 55k| 75k|7964 | 2 | 59k| 14k| 0.000000e+00 | 3.800000e+02 | Inf | 37.05%
3232.82/3243.47 c 3243s| 17900 | 3489 | 1324k| 73.9 | 4803M | 164 | 47k| 54k| 0 |8016 | 0 | 59k| 14k| 0.000000e+00 | 3.800000e+02 | Inf | 37.05%
3244.98/3255.61 c 3256s| 18000 | 3507 | 1326k| 73.6 | 4809M | 164 | 47k| 54k| 0 |8058 | 0 | 59k| 14k| 0.000000e+00 | 3.800000e+02 | Inf | 37.05%
3252.15/3262.87 c 3263s| 18100 | 3531 | 1328k| 73.3 | 4815M | 164 | 47k| 55k| 0 |8074 | 0 | 59k| 14k| 0.000000e+00 | 3.800000e+02 | Inf | 37.05%
3269.99/3280.76 c 3281s| 18200 | 3561 | 1334k| 73.2 | 4822M | 164 | 47k| 55k| 75k|8121 | 1 | 60k| 14k| 0.000000e+00 | 3.800000e+02 | Inf | 37.05%
3285.45/3296.22 c 3296s| 18300 | 3584 | 1338k| 73.0 | 4830M | 164 | 47k| 55k| 0 |8193 | 0 | 60k| 14k| 0.000000e+00 | 3.800000e+02 | Inf | 37.05%
3294.42/3305.25 c 3305s| 18400 | 3606 | 1342k| 72.9 | 4836M | 164 | 47k| 55k| 75k|8199 | 3 | 61k| 14k| 0.000000e+00 | 3.800000e+02 | Inf | 37.11%
3303.40/3314.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3303.40/3314.21 c 3314s| 18500 | 3629 | 1346k| 72.7 | 4847M | 164 | 47k| 55k| 75k|8214 | 1 | 61k| 14k| 0.000000e+00 | 3.800000e+02 | Inf | 37.15%
3304.89/3315.73 o 374
3304.89/3315.73 c *3316s| 18534 | 3521 | 1347k| 72.6 | LP | 164 | 47k| 55k| 75k|8216 | 2 | 61k| 14k| 0.000000e+00 | 3.740000e+02 | Inf | 37.15%
3313.86/3324.78 c 3325s| 18600 | 3542 | 1351k| 72.5 | 4853M | 164 | 47k| 55k| 75k|8216 | 0 | 62k| 14k| 0.000000e+00 | 3.740000e+02 | Inf | 37.16%
3327.62/3338.60 c 3339s| 18700 | 3566 | 1354k| 72.4 | 4859M | 164 | 47k| 55k| 75k|8277 | 1 | 62k| 14k| 0.000000e+00 | 3.740000e+02 | Inf | 37.16%
3341.57/3352.52 c 3353s| 18800 | 3601 | 1360k| 72.3 | 4869M | 164 | 47k| 55k| 75k|8333 | 1 | 62k| 14k| 0.000000e+00 | 3.740000e+02 | Inf | 37.16%
3354.44/3365.41 c 3365s| 18900 | 3626 | 1363k| 72.1 | 4872M | 164 | 47k| 55k| 75k|8391 | 1 | 62k| 14k| 0.000000e+00 | 3.740000e+02 | Inf | 37.16%
3366.59/3377.65 c 3378s| 19000 | 3646 | 1369k| 72.0 | 4875M | 164 | 47k| 55k| 0 |8452 | 0 | 63k| 14k| 0.000000e+00 | 3.740000e+02 | Inf | 37.16%
3374.99/3386.08 c 3386s| 19100 | 3671 | 1371k| 71.7 | 4878M | 164 | 47k| 55k| 75k|8481 | 2 | 63k| 14k| 0.000000e+00 | 3.740000e+02 | Inf | 37.18%
3383.64/3394.78 c 3395s| 19200 | 3691 | 1375k| 71.6 | 4885M | 164 | 47k| 55k| 0 |8495 | 0 | 63k| 14k| 0.000000e+00 | 3.740000e+02 | Inf | 37.18%
3391.61/3402.74 c 3403s| 19300 | 3718 | 1380k| 71.4 | 4887M | 164 | 47k| 55k| 75k|8495 | 1 | 64k| 14k| 0.000000e+00 | 3.740000e+02 | Inf | 37.18%
3398.49/3409.64 c 3410s| 19400 | 3740 | 1383k| 71.2 | 4897M | 164 | 47k| 55k| 75k|8496 | 1 | 64k| 14k| 0.000000e+00 | 3.740000e+02 | Inf | 37.19%
3407.17/3418.31 c 3418s| 19500 | 3760 | 1388k| 71.1 | 4903M | 164 | 47k| 56k| 0 |8533 | 0 | 64k| 14k| 0.000000e+00 | 3.740000e+02 | Inf | 37.19%
3413.35/3424.51 c 3424s| 19600 | 3776 | 1392k| 71.0 | 4910M | 164 | 47k| 56k| 0 |8534 | 0 | 65k| 14k| 0.000000e+00 | 3.740000e+02 | Inf | 37.19%
3422.71/3433.92 c 3434s| 19700 | 3797 | 1396k| 70.8 | 4917M | 164 | 47k| 56k| 75k|8537 | 1 | 65k| 14k| 0.000000e+00 | 3.740000e+02 | Inf | 37.20%
3430.48/3441.78 c 3442s| 19800 | 3815 | 1399k| 70.6 | 4923M | 164 | 47k| 56k| 75k|8539 | 0 | 65k| 14k| 0.000000e+00 | 3.740000e+02 | Inf | 37.20%
3444.34/3455.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3444.34/3455.69 c 3456s| 19900 | 3851 | 1404k| 70.5 | 4928M | 164 | 47k| 55k| 0 |8569 | 0 | 65k| 15k| 0.000000e+00 | 3.740000e+02 | Inf | 37.20%
3454.60/3465.93 c 3466s| 20000 | 3878 | 1407k| 70.3 | 4935M | 164 | 47k| 55k| 0 |8572 | 0 | 66k| 15k| 0.000000e+00 | 3.740000e+02 | Inf | 37.20%
3461.98/3473.34 c 3473s| 20100 | 3904 | 1411k| 70.1 | 4939M | 164 | 47k| 55k| 75k|8575 | 3 | 66k| 15k| 0.000000e+00 | 3.740000e+02 | Inf | 37.30%
3471.76/3483.19 c 3483s| 20200 | 3927 | 1414k| 69.9 | 4943M | 164 | 47k| 56k| 75k|8576 | 1 | 66k| 15k| 0.000000e+00 | 3.740000e+02 | Inf | 37.30%
3479.82/3491.21 c 3491s| 20300 | 3952 | 1418k| 69.8 | 4949M | 164 | 47k| 56k| 75k|8577 | 2 | 67k| 15k| 0.000000e+00 | 3.740000e+02 | Inf | 37.33%
3487.40/3498.84 c 3499s| 20400 | 3978 | 1420k| 69.6 | 4953M | 164 | 47k| 56k| 75k|8577 | 0 | 67k| 15k| 0.000000e+00 | 3.740000e+02 | Inf | 37.33%
3496.17/3507.69 c 3508s| 20500 | 4003 | 1424k| 69.4 | 4959M | 164 | 47k| 56k| 75k|8577 | 1 | 67k| 15k| 0.000000e+00 | 3.740000e+02 | Inf | 37.33%
3504.66/3516.19 c 3516s| 20600 | 4018 | 1428k| 69.2 | 4969M | 164 | 47k| 55k| 75k|8577 | 0 | 67k| 15k| 0.000000e+00 | 3.740000e+02 | Inf | 37.36%
3513.02/3524.51 c 3524s| 20700 | 4042 | 1432k| 69.1 | 4978M | 164 | 47k| 55k| 75k|8577 | 1 | 68k| 15k| 0.000000e+00 | 3.740000e+02 | Inf | 37.36%
3521.09/3532.69 c 3533s| 20800 | 4066 | 1436k| 68.9 | 4983M | 164 | 47k| 55k| 75k|8577 | 1 | 68k| 15k| 0.000000e+00 | 3.740000e+02 | Inf | 37.36%
3528.37/3540.01 c 3540s| 20900 | 4083 | 1438k| 68.7 | 4992M | 164 | 47k| 55k| 0 |8578 | 0 | 68k| 15k| 0.000000e+00 | 3.740000e+02 | Inf | 37.36%
3538.83/3550.42 c 3550s| 21000 | 4109 | 1443k| 68.6 | 5002M | 164 | 47k| 55k| 75k|8578 | 0 | 68k| 15k| 0.000000e+00 | 3.740000e+02 | Inf | 37.36%
3548.90/3560.54 c 3561s| 21100 | 4130 | 1446k| 68.5 | 5009M | 164 | 47k| 55k| 75k|8597 | 1 | 69k| 15k| 0.000000e+00 | 3.740000e+02 | Inf | 37.36%
3566.46/3578.14 c 3578s| 21200 | 4160 | 1451k| 68.4 | 5014M | 164 | 47k| 55k| 75k|8658 | 1 | 69k| 15k| 0.000000e+00 | 3.740000e+02 | Inf | 37.37%
3582.00/3593.76 c 3594s| 21300 | 4183 | 1457k| 68.3 | 5041M | 164 | 47k| 55k| 75k|8717 | 0 | 69k| 15k| 0.000000e+00 | 3.740000e+02 | Inf | 37.37%
3585.30/3597.01 c
3585.30/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3585.30/3597.01 c Solving Time (sec) : 3597.00
3585.30/3597.01 c Solving Nodes : 21335
3585.30/3597.01 c Primal Bound : +3.74000000000000e+02 (8 solutions)
3585.30/3597.01 c Dual Bound : +0.00000000000000e+00
3585.30/3597.01 c Gap : infinite
3585.30/3597.09 s SATISFIABLE
3585.30/3597.09 v -x1089 -x1088 -x1087 -x1086 x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071
3585.30/3597.09 v -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 x1053
3585.30/3597.09 v -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035
3585.30/3597.09 v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 x1022 -x1021 -x1020 -x1019 -x1018 -x1017
3585.30/3597.09 v -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000
3585.30/3597.09 v -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 x984 -x983 -x982 -x981 -x980 -x979
3585.30/3597.09 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
3585.30/3597.09 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
3585.30/3597.09 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
3585.30/3597.09 v -x915 -x914 -x913 -x912 x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
3585.30/3597.09 v -x894 -x893 -x892 -x891 -x890 x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
3585.30/3597.09 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 x858 -x857 -x856 -x855 -x854 -x853
3585.30/3597.09 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832
3585.30/3597.09 v -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 x815 -x814 -x813 -x812 -x811
3585.30/3597.09 v -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790
3585.30/3597.09 v -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 x773 -x772 -x771 -x770 -x769
3585.30/3597.09 v -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 x754 -x753 -x752 -x751 -x750 -x749 -x748
3585.30/3597.09 v -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727
3585.30/3597.09 v -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 x710 -x709 -x708 -x707 -x706
3585.30/3597.09 v -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686
3585.30/3597.09 v -x685 -x684 -x683 -x682 x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665
3585.30/3597.09 v -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 x649 -x648 -x647 -x646 -x645 -x644
3585.30/3597.09 v -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623
3585.30/3597.09 v -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602
3585.30/3597.09 v -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581
3585.30/3597.09 v -x580 -x579 -x578 x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560
3585.30/3597.09 v -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 x541 -x540 -x539
3585.30/3597.09 v -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 x520 -x519 -x518
3585.30/3597.09 v -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497
3585.30/3597.09 v -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476
3585.30/3597.09 v -x475 -x474 -x473 -x472 -x471 -x470 x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455
3585.30/3597.09 v -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434
3585.30/3597.09 v -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413
3585.30/3597.09 v -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392
3585.30/3597.09 v -x391 -x390 x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371
3585.30/3597.09 v -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351
3585.30/3597.09 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 x335 -x334 -x333 -x332 -x331 -x330
3585.30/3597.09 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309
3585.30/3597.09 v -x308 x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288
3585.30/3597.09 v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267
3585.30/3597.09 v -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246
3585.30/3597.09 v -x245 -x244 -x243 -x242 -x241 x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225
3585.30/3597.09 v -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 x206 -x205 -x204
3585.30/3597.09 v -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183
3585.30/3597.09 v -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162
3585.30/3597.09 v -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141
3585.30/3597.09 v -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120
3585.30/3597.09 v -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 x101 -x100 -x99
3585.30/3597.09 v -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 x77 -x76 -x75 -x74
3585.30/3597.09 v -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49
3585.30/3597.09 v -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24
3585.30/3597.09 v -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 -x2 -x1
3585.30/3597.09 c SCIP Status : solving was interrupted [time limit reached]
3585.30/3597.09 c Total Time : 3597.00
3585.30/3597.09 c solving : 3597.00
3585.30/3597.09 c presolving : 3.54 (included in solving)
3585.30/3597.09 c reading : 0.46 (included in solving)
3585.30/3597.09 c copying : 4.70 (25 #copies) (minimal 0.14, maximal 0.21, average 0.19)
3585.30/3597.09 c Original Problem :
3585.30/3597.09 c Problem name : HOME/instance-4525849-1751626049.wbo
3585.30/3597.09 c Variables : 54241 (54241 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.30/3597.09 c Constraints : 106338 initial, 106338 maximal
3585.30/3597.09 c Objective : minimize, 53152 non-zeros (abs.min = 1, abs.max = 976)
3585.30/3597.09 c Presolved Problem :
3585.30/3597.09 c Problem name : t_HOME/instance-4525849-1751626049.wbo
3585.30/3597.09 c Variables : 47836 (24475 binary, 0 integer, 23361 implicit integer, 0 continuous)
3585.30/3597.09 c Constraints : 75846 initial, 77602 maximal
3585.30/3597.09 c Objective : minimize, 23386 non-zeros (abs.min = 1, abs.max = 878)
3585.30/3597.09 c Nonzeros : 269643 constraint, 3497 clique table
3585.30/3597.09 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.30/3597.09 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c implics : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c trivial : 0.01 0.00 5 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c dualfix : 0.01 0.00 5 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c probing : 2.06 0.00 1 0 25 0 0 0 0 0 0 0
3585.30/3597.09 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c symmetry : 0.18 0.00 1 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c vbounds : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c knapsack : 0.03 0.00 3 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c setppc : 0.03 0.00 3 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c linear : 0.44 0.01 8 29766 0 0 53152 0 726 0 0 0
3585.30/3597.09 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c indicator : 0.07 0.00 2 29766 0 0 29766 0 29766 0 0 0
3585.30/3597.09 c components : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c root node : - - - 23813 - - 23813 - - - - -
3585.30/3597.09 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.30/3597.09 c benderslp : 0 0 0 0 17666 0 0 2424 0 0 0 0 0 0 0
3585.30/3597.09 c integral : 0 0 0 0 17666 0 0 2424 0 2 9186 0 0 21463 29232
3585.30/3597.09 c knapsack : 1+ 2 0 168891 1 0 0 2418 26570 8 0 0 0 0 0
3585.30/3597.09 c setppc : 29073+ 29077 19 169010 1 0 0 2318 846571 6080 655968 4 0 0 0
3585.30/3597.09 c linear : 23386 23386 19 162928 0 0 0 26 305818 198 150404 0 0 0 0
3585.30/3597.09 c logicor : 0+ 4285 19 94214 0 0 0 0 393015 4858 170077 5 5 0 0
3585.30/3597.09 c benders : 0 0 0 0 1 0 0 25 0 0 0 0 0 0 0
3585.30/3597.09 c indicator : 23386 23386 3407 157768 1 0 0 23 748449 19 23981043 0 0 0 0
3585.30/3597.09 c fixedvar : 0 0 0 0 1 0 0 24 0 0 0 0 0 0 0
3585.30/3597.09 c countsols : 0 0 0 0 1 0 0 24 0 0 0 0 0 0 0
3585.30/3597.09 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.30/3597.09 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3585.30/3597.09 c integral : 1215.28 0.00 0.00 0.00 1215.18 0.00 0.00 0.09 0.00 0.00
3585.30/3597.09 c knapsack : 10.38 0.00 0.00 1.88 0.00 0.00 0.00 1.98 1.75 4.76
3585.30/3597.09 c setppc : 108.31 0.00 0.03 30.32 0.00 0.00 0.00 0.07 0.37 77.52
3585.30/3597.09 c linear : 12.08 0.01 0.06 7.60 0.00 0.00 0.00 0.13 0.16 4.12
3585.30/3597.09 c logicor : 28.05 0.00 0.00 12.90 0.00 0.00 0.00 0.00 0.90 14.25
3585.30/3597.09 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.30/3597.09 c indicator : 76.22 0.00 5.55 51.44 0.00 0.00 0.00 0.17 0.31 18.75
3585.30/3597.09 c fixedvar : 0.05 0.00 0.00 0.00 0.00 0.00 0.00 0.04 0.00 0.00
3585.30/3597.09 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.30/3597.09 c components : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.01
3585.30/3597.09 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.30/3597.09 c dualfix : 18 0 0 496
3585.30/3597.09 c genvbounds : 0 0 0 0
3585.30/3597.09 c nlobbt : 0 0 0 0
3585.30/3597.09 c obbt : 0 0 0 0
3585.30/3597.09 c probing : 0 0 0 0
3585.30/3597.09 c pseudoobj : 120367 333997 8 1733299
3585.30/3597.09 c redcost : 50025 0 0 23796861
3585.30/3597.09 c rootredcost : 6 0 0 11330
3585.30/3597.09 c symmetry : 0 0 0 0
3585.30/3597.09 c vbounds : 89249 0 0 0
3585.30/3597.09 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.30/3597.09 c dualfix : 0.04 0.00 0.01 0.03 0.00 0.00
3585.30/3597.09 c genvbounds : 0.06 0.00 0.00 0.04 0.00 0.01
3585.30/3597.09 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.30/3597.09 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.30/3597.09 c probing : 2.06 0.00 2.06 0.00 0.00 0.00
3585.30/3597.09 c pseudoobj : 112.33 0.00 0.00 3.26 109.07 0.01
3585.30/3597.09 c redcost : 123.45 0.00 0.00 123.44 0.00 0.01
3585.30/3597.09 c rootredcost : 0.09 0.00 0.00 0.07 0.00 0.01
3585.30/3597.09 c symmetry : 0.26 0.00 0.18 0.05 0.00 0.03
3585.30/3597.09 c vbounds : 56.09 0.00 0.01 55.66 0.00 0.41
3585.30/3597.09 c Symmetry :
3585.30/3597.09 c orbitopal red. : 0 reductions applied, 0 cutoffs
3585.30/3597.09 c orbital reduction: 0 reductions applied, 0 cutoffs
3585.30/3597.09 c lexicographic red: 0 reductions applied, 0 cutoffs
3585.30/3597.09 c shadow tree time : 0.00 s
3585.30/3597.09 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3585.30/3597.09 c propagation : 113.41 11160 11047 - 99150 200.1 2536 30.4 - - -
3585.30/3597.09 c infeasible LP : 0.11 14 14 - 240 250.0 1 26.0 8 645.5 0
3585.30/3597.09 c bound exceed. LP : 31.90 1445 354 - 5300 276.3 27 40.1 0 0.0 11907
3585.30/3597.09 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.30/3597.09 c pseudo solution : 0.01 1 1 - 23 181.3 0 0.0 - - -
3585.30/3597.09 c applied globally : 439.53 - - 0 69887 155.4 - - 8 - -
3585.30/3597.09 c applied locally : - - - 0 0 0.0 - - 0 - -
3585.30/3597.09 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.30/3597.09 c cut pool : 2.83 - 4443 45 - - 47067 66860 - - - - - (maximal pool size: 3838)
3585.30/3597.09 c aggregation : 26.68 0.00 1135 19 0 0 21 22 0 20 20 0 0
3585.30/3597.09 c > cmir : - - - - - - - 16 0 15 15 0 -
3585.30/3597.09 c > flowcover : - - - - - - - 1 0 1 1 0 -
3585.30/3597.09 c > knapsackcover : - - - - - - - 5 0 4 4 0 -
3585.30/3597.09 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c clique : 7.63 0.00 19 19 0 0 42 140 0 20 20 0 0
3585.30/3597.09 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c gomory : 647.97 0.00 1015 10 0 0 43369 57524 121 4018 4016 2 0
3585.30/3597.09 c > gomorymi : - - - - - - - 22379 60 605 604 1 -
3585.30/3597.09 c > strongcg : - - - - - - - 35145 61 3413 3412 1 -
3585.30/3597.09 c impliedbounds : 1.81 0.00 1135 19 0 2 20 41 0 35 35 0 0
3585.30/3597.09 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c mcf : 0.03 0.00 1 1 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c mixing : 0.00 0.00 1135 19 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c multilinear : 0.00 0.00 373 19 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c rapidlearning : 0.46 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c rlt : 0.00 0.00 358 10 0 0 0 0 0 0 0 0 0
3585.30/3597.09 c zerohalf : 19.38 0.00 1024 19 0 0 3808 9133 72 4626 4610 16 0
3585.30/3597.09 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.30/3597.09 c hybrid : 0.14 0.00 1933 27 8724 0 58338 154 0 1572
3585.30/3597.09 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.30/3597.09 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.30/3597.09 c Pricers : ExecTime SetupTime Calls Vars
3585.30/3597.09 c problem variables: 0.00 - 0 0
3585.30/3597.09 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.30/3597.09 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.30/3597.09 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.30/3597.09 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.30/3597.09 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.30/3597.09 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.30/3597.09 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.30/3597.09 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.30/3597.09 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.30/3597.09 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.30/3597.09 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.30/3597.09 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.30/3597.09 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.30/3597.09 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.30/3597.09 c relpscost : 1215.15 0.00 17665 0 0 2 9186 0 24376 29232
3585.30/3597.09 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.30/3597.09 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.30/3597.09 c LP solutions : 0.03 - - 1 1
3585.30/3597.09 c relax solutions : 0.00 - - 0 0
3585.30/3597.09 c pseudo solutions : 0.00 - - 0 0
3585.30/3597.09 c strong branching : 0.72 - - 3 3
3585.30/3597.09 c actconsdiving : 0.00 0.00 0 0 0
3585.30/3597.09 c adaptivediving : 7.93 0.00 60 0 0
3585.30/3597.09 c alns : 6.26 0.00 6 0 0
3585.30/3597.09 c bound : 0.00 0.00 0 0 0
3585.30/3597.09 c clique : 0.21 0.00 1 0 0
3585.30/3597.09 c coefdiving : 0.00 0.00 0 0 0
3585.30/3597.09 c completesol : 0.00 0.00 0 0 0
3585.30/3597.09 c conflictdiving : 6.33 0.00 31 0 0
3585.30/3597.09 c crossover : 4.27 0.00 8 1 0
3585.30/3597.09 c dins : 0.00 0.00 0 0 0
3585.30/3597.09 c distributiondivin: 9.60 0.00 31 0 0
3585.30/3597.09 c dps : 0.00 0.00 0 0 0
3585.30/3597.09 c dualval : 0.00 0.00 0 0 0
3585.30/3597.09 c farkasdiving : 2.06 0.00 1 0 0
3585.30/3597.09 c feasjump : 0.05 0.00 1 0 0
3585.30/3597.09 c feaspump : 9.61 0.00 16 0 0
3585.30/3597.09 c fixandinfer : 0.00 0.00 0 0 0
3585.30/3597.09 c fracdiving : 4.65 0.00 31 0 0
3585.30/3597.09 c gins : 0.20 0.00 0 0 0
3585.30/3597.09 c guideddiving : 3.15 0.00 31 0 0
3585.30/3597.09 c indcoefdiving : 0.00 0.00 0 0 0
3585.30/3597.09 c indicator : 0.02 0.00 0 0 0
3585.30/3597.09 c indicatordiving : 0.00 0.00 0 0 0
3585.30/3597.09 c indoneopt : 0.45 0.01 6 0 0
3585.30/3597.09 c indrounding : 0.00 0.00 0 0 0
3585.30/3597.09 c indtwoopt : 0.00 0.01 0 0 0
3585.30/3597.09 c intdiving : 0.00 0.00 0 0 0
3585.30/3597.09 c intshifting : 0.00 0.00 0 0 0
3585.30/3597.09 c linesearchdiving : 4.07 0.00 31 1 1
3585.30/3597.09 c localbranching : 0.00 0.00 0 0 0
3585.30/3597.09 c locks : 0.10 0.00 1 0 0
3585.30/3597.09 c lpface : 29.70 0.00 6 0 0
3585.30/3597.09 c mpec : 0.00 0.00 0 0 0
3585.30/3597.09 c multistart : 0.00 0.00 0 0 0
3585.30/3597.09 c mutation : 0.00 0.00 0 0 0
3585.30/3597.09 c nlpdiving : 0.00 0.00 0 0 0
3585.30/3597.09 c objpscostdiving : 3.49 0.00 16 0 0
3585.30/3597.09 c octane : 0.00 0.00 0 0 0
3585.30/3597.09 c ofins : 0.00 0.00 0 0 0
3585.30/3597.09 c oneopt : 0.09 0.00 5 0 0
3585.30/3597.09 c padm : 0.00 0.00 0 0 0
3585.30/3597.09 c proximity : 0.00 0.00 0 0 0
3585.30/3597.09 c pscostdiving : 5.31 0.00 31 0 0
3585.30/3597.09 c randrounding : 6.53 0.00 2365 0 0
3585.30/3597.09 c rens : 0.60 0.00 1 0 0
3585.30/3597.09 c reoptsols : 0.00 0.00 0 0 0
3585.30/3597.09 c repair : 0.00 0.00 0 0 0
3585.30/3597.09 c rins : 5.96 0.00 10 2 0
3585.30/3597.09 c rootsoldiving : 13.07 0.00 16 0 0
3585.30/3597.09 c rounding : 4.66 0.00 2065 0 0
3585.30/3597.09 c scheduler : 0.00 0.00 0 0 0
3585.30/3597.09 c shiftandpropagate: 1.10 0.00 1 0 0
3585.30/3597.09 c shifting : 2.94 0.00 847 0 0
3585.30/3597.09 c simplerounding : 0.02 0.00 0 0 0
3585.30/3597.09 c smallcard : 0.00 0.00 0 0 0
3585.30/3597.09 c subnlp : 0.03 0.00 0 0 0
3585.30/3597.09 c trivial : 0.07 0.00 2 0 0
3585.30/3597.09 c trivialnegation : 0.00 0.00 0 0 0
3585.30/3597.09 c trustregion : 0.00 0.00 0 0 0
3585.30/3597.09 c trysol : 0.03 0.00 3 0 0
3585.30/3597.09 c twoopt : 0.00 0.00 0 0 0
3585.30/3597.09 c undercover : 0.00 0.00 0 0 0
3585.30/3597.09 c vbounds : 0.10 0.00 0 0 0
3585.30/3597.09 c veclendiving : 10.34 0.00 31 0 0
3585.30/3597.09 c zeroobj : 0.00 0.00 0 0 0
3585.30/3597.09 c zirounding : 0.32 0.00 1000 0 0
3585.30/3597.09 c other solutions : - - - 0 -
3585.30/3597.09 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3585.30/3597.09 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.30/3597.09 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.30/3597.09 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.30/3597.09 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.30/3597.09 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.30/3597.09 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.30/3597.09 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.30/3597.09 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.30/3597.09 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3585.30/3597.09 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.30/3597.09 c primal LP : 7.38 709 0 0.00 0.00 7.38 709
3585.30/3597.09 c dual LP : 643.68 30450 1085829 45.82 1686.90 73.41 6753
3585.30/3597.09 c lex dual LP : 0.00 0 0 0.00 -
3585.30/3597.09 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.30/3597.09 c resolve instable : 0.00 0 0 0.00 -
3585.30/3597.09 c diving/probing LP: 123.06 6088 373129 61.29 3032.11
3585.30/3597.09 c strong branching : 389.90 15698 437654 27.88 1122.47 - - 2266
3585.30/3597.09 c (at root node) : - 146 16203 110.98 -
3585.30/3597.09 c conflict analysis: 12.40 1311 11907 9.08 960.34
3585.30/3597.09 c B&B Tree :
3585.30/3597.09 c number of runs : 1
3585.30/3597.09 c nodes : 21335 (14616 internal, 6719 leaves)
3585.30/3597.09 c feasible leaves : 1
3585.30/3597.09 c infeas. leaves : 5507
3585.30/3597.09 c objective leaves : 1210
3585.30/3597.09 c nodes (total) : 21335 (14616 internal, 6719 leaves)
3585.30/3597.09 c nodes left : 4194
3585.30/3597.09 c max depth : 164
3585.30/3597.09 c max depth (total): 164
3585.30/3597.09 c backtracks : 1555 (7.3%)
3585.30/3597.09 c early backtracks : 0 (0.0%)
3585.30/3597.09 c nodes exc. ref. : 0 (0.0%)
3585.30/3597.09 c delayed cutoffs : 297
3585.30/3597.09 c repropagations : 20855 (110726 domain reductions, 292 cutoffs)
3585.30/3597.09 c avg switch length: 4.86
3585.30/3597.09 c switching time : 80.99
3585.30/3597.09 c Root Node :
3585.30/3597.09 c First LP value : +0.00000000000000e+00
3585.30/3597.09 c First LP Iters : 66 (1134.41 Iter/sec)
3585.30/3597.09 c First LP Time : 0.06
3585.30/3597.09 c Final Dual Bound : +0.00000000000000e+00
3585.30/3597.09 c Final Root Iters : 1955
3585.30/3597.09 c Root LP Estimate : +6.41313880942245e+01
3585.30/3597.09 c Solution :
3585.30/3597.09 c Solutions found : 8 (5 improvements)
3585.30/3597.09 c First Solution : +8.58000000000000e+02 (in run 1, after 542 nodes, 635.11 seconds, depth 53, found by <relaxation>)
3585.30/3597.09 c Gap First Sol. : infinite
3585.30/3597.09 c Gap Last Sol. : infinite
3585.30/3597.09 c Primal Bound : +3.74000000000000e+02 (in run 1, after 18534 nodes, 3315.69 seconds, depth 68, found by <relaxation>)
3585.30/3597.09 c Dual Bound : +0.00000000000000e+00
3585.30/3597.09 c Gap : infinite
3585.30/3597.09 c Integrals : Total Avg%
3585.30/3597.09 c primal-dual : 359699.89 100.00
3585.30/3597.09 c primal-ref : - - (not evaluated)
3585.30/3597.09 c dual-ref : - - (not evaluated)
3585.99/3597.70 c Time complete: 3586.
OK 374
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: 63794 MiB (59328 MiB free)
memory of node 1: 64507 MiB (60639 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525849-1751626049/watcher-4525849-1751626049 -o /tmp/evaluation-result-4525849-1751626049/solver-4525849-1751626049 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751626031-88030 --watchdog 3760 pbscip -f HOME/instance-4525849-1751626049.wbo -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=88359, runsolver pid=88356
Current StackSize limit: 8192 KiB
[startup+0.100102 s]*
/proc/loadavg: 3.60 5.01 6.27 6/251 88360
/proc/meminfo: memFree=122691896/131382112 swapFree=33010416/33010684
[pid=88359] ppid=88356 vsize=60200 memory=32512 CPUtime=0.09 cores=1,3
/proc/88359/stat : 88359 (pbscip) R 88356 88359 88018 0 -1 4194304 5199 0 0 0 8 1 0 0 20 0 1 0 78284654 61644800 8128 18446744073709551615 4235264 18693293 140730485588016 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34881536 140730485590407 140730485590506 140730485590506 140730485596110 0
/proc/88359/statm: 15050 8128 3232 3530 0 6501 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 60200 KiB
Current children cumulated memory: 32512 KiB
[startup+0.212956 s]*
/proc/loadavg: 3.60 5.01 6.27 5/251 88360
/proc/meminfo: memFree=122683832/131382112 swapFree=33010416/33010684
[pid=88359] ppid=88356 vsize=78420 memory=50816 CPUtime=0.21 cores=1,3
/proc/88359/stat : 88359 (pbscip) R 88356 88359 88018 0 -1 4194304 9776 0 0 0 19 2 0 0 20 0 1 0 78284654 80302080 12704 18446744073709551615 4235264 18693293 140730485588016 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34881536 140730485590407 140730485590506 140730485590506 140730485596110 0
/proc/88359/statm: 19605 12704 3232 3530 0 11056 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 78420 KiB
Current children cumulated memory: 50816 KiB
[startup+0.313114 s]*
/proc/loadavg: 3.60 5.01 6.27 5/251 88360
/proc/meminfo: memFree=122675768/131382112 swapFree=33010416/33010684
[pid=88359] ppid=88356 vsize=96176 memory=68480 CPUtime=0.31 cores=1,3
/proc/88359/stat : 88359 (pbscip) R 88356 88359 88018 0 -1 4194304 14231 0 0 0 28 3 0 0 20 0 1 0 78284654 98484224 17120 18446744073709551615 4235264 18693293 140730485588016 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34881536 140730485590407 140730485590506 140730485590506 140730485596110 0
/proc/88359/statm: 24044 17120 3232 3530 0 15495 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 96176 KiB
Current children cumulated memory: 68480 KiB
[startup+0.700342 s]
/proc/loadavg: 3.60 5.01 6.27 5/251 88360
/proc/meminfo: memFree=122659640/131382112 swapFree=33010416/33010684
[pid=88359] ppid=88356 vsize=217908 memory=190412 CPUtime=0.69 cores=1,3
/proc/88359/stat : 88359 (pbscip) R 88356 88359 88018 0 -1 4194304 44844 0 0 0 58 11 0 0 20 0 1 0 78284654 223137792 47603 18446744073709551615 4235264 18693293 140730485588016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34881536 140730485590407 140730485590506 140730485590506 140730485596110 0
/proc/88359/statm: 54477 47603 3552 3530 0 45928 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 217908 KiB
Current children cumulated memory: 190412 KiB
[startup+1.50034 s]
/proc/loadavg: 3.60 5.01 6.27 5/251 88360
/proc/meminfo: memFree=122458040/131382112 swapFree=33010416/33010684
[pid=88359] ppid=88356 vsize=426728 memory=392936 CPUtime=1.48 cores=1,3
/proc/88359/stat : 88359 (pbscip) R 88356 88359 88018 0 -1 4194304 98132 0 0 0 127 21 0 0 20 0 1 0 78284654 436969472 98234 18446744073709551615 4235264 18693293 140730485588016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34881536 140730485590407 140730485590506 140730485590506 140730485596110 0
/proc/88359/statm: 106682 98234 3616 3530 0 98133 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 426728 KiB
Current children cumulated memory: 392936 KiB
[startup+3.11328 s]
/proc/loadavg: 3.60 5.01 6.27 5/251 88360
/proc/meminfo: memFree=121623936/131382112 swapFree=33010416/33010684
[pid=88359] ppid=88356 vsize=470956 memory=435772 CPUtime=3.08 cores=1,3
/proc/88359/stat : 88359 (pbscip) R 88356 88359 88018 0 -1 4194304 112898 0 0 0 285 23 0 0 20 0 1 0 78284654 482258944 108943 18446744073709551615 4235264 18693293 140730485588016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34881536 140730485590407 140730485590506 140730485590506 140730485596110 0
/proc/88359/statm: 117739 108943 3648 3530 0 109190 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 470956 KiB
Current children cumulated memory: 435772 KiB
[startup+6.30029 s]
/proc/loadavg: 3.71 5.01 6.27 5/251 88360
/proc/meminfo: memFree=121008552/131382112 swapFree=33010416/33010684
[pid=88359] ppid=88356 vsize=705912 memory=586868 CPUtime=6.26 cores=1,3
/proc/88359/stat : 88359 (pbscip) R 88356 88359 88018 0 -1 4194304 153873 0 0 0 596 30 0 0 20 0 1 0 78284654 722853888 146717 18446744073709551615 4235264 18693293 140730485588016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34881536 140730485590407 140730485590506 140730485590506 140730485596110 0
/proc/88359/statm: 176478 146717 3840 3530 0 167929 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 705912 KiB
Current children cumulated memory: 586868 KiB
[startup+12.7003 s]
/proc/loadavg: 3.73 4.99 6.25 5/251 88360
/proc/meminfo: memFree=119931832/131382112 swapFree=33010416/33010684
[pid=88359] ppid=88356 vsize=727840 memory=605736 CPUtime=12.64 cores=1,3
/proc/88359/stat : 88359 (pbscip) R 88356 88359 88018 0 -1 4194304 156574 0 0 0 1234 30 0 0 20 0 1 0 78284654 745308160 151434 18446744073709551615 4235264 18693293 140730485588016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34881536 140730485590407 140730485590506 140730485590506 140730485596110 0
/proc/88359/statm: 181960 151434 3840 3530 0 173411 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 727840 KiB
Current children cumulated memory: 605736 KiB
[startup+25.5003 s]
/proc/loadavg: 3.77 4.96 6.23 5/251 88360
/proc/meminfo: memFree=117589192/131382112 swapFree=33010416/33010684
[pid=88359] ppid=88356 vsize=812704 memory=639156 CPUtime=25.4 cores=1,3
/proc/88359/stat : 88359 (pbscip) R 88356 88359 88018 0 -1 4194304 163422 0 0 0 2509 31 0 0 20 0 1 0 78284654 832208896 159789 18446744073709551615 4235264 18693293 140730485588016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34881536 140730485590407 140730485590506 140730485590506 140730485596110 0
/proc/88359/statm: 203176 159789 3840 3530 0 194627 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 812704 KiB
Current children cumulated memory: 639156 KiB
[startup+51.1135 s]
/proc/loadavg: 4.00 4.90 6.17 5/251 88360
/proc/meminfo: memFree=112559000/131382112 swapFree=33010416/33010684
[pid=88359] ppid=88356 vsize=1083276 memory=892512 CPUtime=50.9 cores=1,3
/proc/88359/stat : 88359 (pbscip) R 88356 88359 88018 0 -1 4194304 226229 0 0 0 5050 40 0 0 20 0 1 0 78284654 1109274624 223128 18446744073709551615 4235264 18693293 140730485588016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34881536 140730485590407 140730485590506 140730485590506 140730485596110 0
/proc/88359/statm: 270819 223128 3936 3530 0 262270 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1083276 KiB
Current children cumulated memory: 892512 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 4.76 6.05 5/258 88840
/proc/meminfo: memFree=127149240/131382112 swapFree=33010416/33010684
[pid=88359] ppid=88356 vsize=1083276 memory=892640 CPUtime=101.7 cores=1,3
/proc/88359/stat : 88359 (pbscip) R 88356 88359 88018 0 -1 4194304 226262 0 0 0 10102 68 0 0 20 0 1 0 78284654 1109274624 223160 18446744073709551615 4235264 18693293 140730485588016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34881536 140730485590407 140730485590506 140730485590506 140730485596110 0
/proc/88359/statm: 270819 223160 3936 3530 0 262270 0
Current children cumulated CPU time: 101.7 s
Current children cumulated vsize: 1083276 KiB
Current children cumulated memory: 892640 KiB
[startup+162.3 s]
/proc/loadavg: 4.01 4.62 5.92 5/258 88842
/proc/meminfo: memFree=126101780/131382112 swapFree=33010416/33010684
[pid=88359] ppid=88356 vsize=1257260 memory=1045628 CPUtime=161.45 cores=1,3
/proc/88359/stat : 88359 (pbscip) R 88356 88359 88018 0 -1 4194304 263530 0 0 0 16070 75 0 0 20 0 1 0 78284654 1287434240 261407 18446744073709551615 4235264 18693293 140730485588016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34881536 140730485590407 140730485590506 140730485590506 140730485596110 0
/proc/88359/statm: 314315 261407 3936 3530 0 305766 0
Current children cumulated CPU time: 161.45 s
Current children cumulated vsize: 1257260 KiB
Current children cumulated memory: 1045628 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.54 5.81 5/258 88844
/proc/meminfo: memFree=125971128/131382112 swapFree=33010416/33010684
[pid=88359] ppid=88356 vsize=1257260 memory=1045756 CPUtime=221.21 cores=1,3
/proc/88359/stat : 88359 (pbscip) R 88356 88359 88018 0 -1 4194304 263539 0 0 0 22045 76 0 0 20 0 1 0 78284654 1287434240 261439 18446744073709551615 4235264 18693293 140730485588016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34881536 140730485590407 140730485590506 140730485590506 140730485596110 0
/proc/88359/statm: 314315 261439 3936 3530 0 305766 0
Current children cumulated CPU time: 221.21 s
Current children cumulated vsize: 1257260 KiB
Current children cumulated memory: 1045756 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.47 5.70 5/258 88846
/proc/meminfo: memFree=124438756/131382112 swapFree=33010416/33010684
[pid=88359] ppid=88356 vsize=1358992 memory=1154812 CPUtime=280.96 cores=1,3
/proc/88359/stat : 88359 (pbscip) R 88356 88359 88018 0 -1 4194304 290789 0 0 0 28015 81 0 0 20 0 1 0 78284654 1391607808 288703 18446744073709551615 4235264 18693293 140730485588016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34881536 140730485590407 140730485590506 140730485590506 140730485596110 0
/proc/88359/statm: 339748 288703 3936 3530 0 331199 0
Current children cumulated CPU time: 280.96 s
Current children cumulated vsize: 1358992 KiB
Current children cumulated memory: 1154812 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.39 5.60 5/256 88848
/proc/meminfo: memFree=124205860/131382112 swapFree=33010416/33010684
[pid=88359] ppid=88356 vsize=1454100 memory=1257008 CPUtime=340.75 cores=1,3
/proc/88359/stat : 88359 (pbscip) R 88356 88359 88018 0 -1 4194304 313701 0 0 0 33989 86 0 0 20 0 1 0 78284654 1488998400 314252 18446744073709551615 4235264 18693293 140730485588016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34881536 140730485590407 140730485590506 140730485590506 140730485596110 0
/proc/88359/statm: 363525 314252 3936 3530 0 354976 0
Current children cumulated CPU time: 340.75 s
Current children cumulated vsize: 1454100 KiB
Current children cumulated memory: 1257008 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.34 5.50 5/249 88850
/proc/meminfo: memFree=124140764/131382112 swapFree=33010416/33010684
[pid=88359] ppid=88356 vsize=1454100 memory=1262384 CPUtime=400.58 cores=1,3
/proc/88359/stat : 88359 (pbscip) R 88356 88359 88018 0 -1 4194304 313707 0 0 0 39971 87 0 0 20 0 1 0 78284654 1488998400 315596 18446744073709551615 4235264 18693293 140730485588016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34881536 140730485590407 140730485590506 140730485590506 140730485596110 0
/proc/88359/statm: 363525 315596 3936 3530 0 354976 0
Current children cumulated CPU time: 400.58 s
Current children cumulated vsize: 1454100 KiB
Current children cumulated memory: 1262384 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.29 5.41 5/250 88853
/proc/meminfo: memFree=124041360/131382112 swapFree=33010416/33010684
[pid=88359] ppid=88356 vsize=1454100 memory=1276080 CPUtime=460.39 cores=1,3
/proc/88359/stat : 88359 (pbscip) R 88356 88359 88018 0 -1 4194304 313832 0 0 0 45952 87 0 0 20 0 1 0 78284654 1488998400 319020 18446744073709551615 4235264 18693293 140730485588016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34881536 140730485590407 140730485590506 140730485590506 140730485596110 0
/proc/88359/statm: 363525 319020 3936 3530 0 354976 0
Current children cumulated CPU time: 460.39 s
################
# More data... #
################
Current children cumulated memory: 4604956 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.12 4.19 5/249 88995
/proc/meminfo: memFree=118120564/131382112 swapFree=33010416/33010684
[pid=88359] ppid=88356 vsize=4827204 memory=4615824 CPUtime=3151.96 cores=1,3
/proc/88359/stat : 88359 (pbscip) R 88356 88359 88018 0 -1 4194304 1235520 0 0 0 314900 296 0 0 20 0 1 0 78284654 4943056896 1153956 18446744073709551615 4235264 18693293 140730485588016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34881536 140730485590407 140730485590506 140730485590506 140730485596110 0
/proc/88359/statm: 1206801 1153956 3936 3530 0 1198252 0
Current children cumulated CPU time: 3151.96 s
Current children cumulated vsize: 4827204 KiB
Current children cumulated memory: 4615824 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.18 5/249 88997
/proc/meminfo: memFree=118064176/131382112 swapFree=33010416/33010684
[pid=88359] ppid=88356 vsize=4863600 memory=4649744 CPUtime=3211.78 cores=1,3
/proc/88359/stat : 88359 (pbscip) R 88356 88359 88018 0 -1 4194304 1244512 0 0 0 320877 301 0 0 20 0 1 0 78284654 4980326400 1162436 18446744073709551615 4235264 18693293 140730485588016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34881536 140730485590407 140730485590506 140730485590506 140730485596110 0
/proc/88359/statm: 1215900 1162436 3936 3530 0 1207351 0
Current children cumulated CPU time: 3211.78 s
Current children cumulated vsize: 4863600 KiB
Current children cumulated memory: 4649744 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.18 5/249 88999
/proc/meminfo: memFree=118007236/131382112 swapFree=33010416/33010684
[pid=88359] ppid=88356 vsize=4896700 memory=4681360 CPUtime=3271.59 cores=1,3
/proc/88359/stat : 88359 (pbscip) R 88356 88359 88018 0 -1 4194304 1252450 0 0 0 326855 304 0 0 20 0 1 0 78284654 5014220800 1170340 18446744073709551615 4235264 18693293 140730485588016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34881536 140730485590407 140730485590506 140730485590506 140730485596110 0
/proc/88359/statm: 1224175 1170340 3936 3530 0 1215626 0
Current children cumulated CPU time: 3271.59 s
Current children cumulated vsize: 4896700 KiB
Current children cumulated memory: 4681360 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.14 4.18 5/249 89001
/proc/meminfo: memFree=117956424/131382112 swapFree=33010416/33010684
[pid=88359] ppid=88356 vsize=4934372 memory=4717456 CPUtime=3331.4 cores=1,3
/proc/88359/stat : 88359 (pbscip) R 88356 88359 88018 0 -1 4194304 1261737 0 0 0 332832 308 0 0 20 0 1 0 78284654 5052796928 1179364 18446744073709551615 4235264 18693293 140730485588016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34881536 140730485590407 140730485590506 140730485590506 140730485596110 0
/proc/88359/statm: 1233593 1179364 3936 3530 0 1225044 0
Current children cumulated CPU time: 3331.4 s
Current children cumulated vsize: 4934372 KiB
Current children cumulated memory: 4717456 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.18 5/250 89004
/proc/meminfo: memFree=117893344/131382112 swapFree=33010416/33010684
[pid=88359] ppid=88356 vsize=4959176 memory=4740752 CPUtime=3391.21 cores=1,3
/proc/88359/stat : 88359 (pbscip) R 88356 88359 88018 0 -1 4194304 1267904 0 0 0 338809 312 0 0 20 0 1 0 78284654 5078196224 1185188 18446744073709551615 4235264 18693293 140730485588016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34881536 140730485590407 140730485590506 140730485590506 140730485596110 0
/proc/88359/statm: 1239794 1185188 3936 3530 0 1231245 0
Current children cumulated CPU time: 3391.21 s
Current children cumulated vsize: 4959176 KiB
Current children cumulated memory: 4740752 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.17 5/253 89010
/proc/meminfo: memFree=117642244/131382112 swapFree=33010416/33010684
[pid=88359] ppid=88356 vsize=5140988 memory=4923948 CPUtime=3451.02 cores=1,3
/proc/88359/stat : 88359 (pbscip) R 88356 88359 88018 0 -1 4194304 1321833 0 0 0 344779 323 0 0 20 0 1 0 78284654 5264371712 1230987 18446744073709551615 4235264 18693293 140730485588016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34881536 140730485590407 140730485590506 140730485590506 140730485596110 0
/proc/88359/statm: 1285247 1230987 3936 3530 0 1276698 0
Current children cumulated CPU time: 3451.02 s
Current children cumulated vsize: 5140988 KiB
Current children cumulated memory: 4923948 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.16 5/253 89012
/proc/meminfo: memFree=117653936/131382112 swapFree=33010416/33010684
[pid=88359] ppid=88356 vsize=5140988 memory=4925612 CPUtime=3510.83 cores=1,3
/proc/88359/stat : 88359 (pbscip) R 88356 88359 88018 0 -1 4194304 1322314 0 0 0 350758 325 0 0 20 0 1 0 78284654 5264371712 1231403 18446744073709551615 4235264 18693293 140730485588016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34881536 140730485590407 140730485590506 140730485590506 140730485596110 0
/proc/88359/statm: 1285247 1231403 3936 3530 0 1276698 0
Current children cumulated CPU time: 3510.83 s
Current children cumulated vsize: 5140988 KiB
Current children cumulated memory: 4925612 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.16 5/253 89014
/proc/meminfo: memFree=117603700/131382112 swapFree=33010416/33010684
[pid=88359] ppid=88356 vsize=5159572 memory=4937436 CPUtime=3570.64 cores=1,3
/proc/88359/stat : 88359 (pbscip) R 88356 88359 88018 0 -1 4194304 1323712 0 0 0 356737 327 0 0 20 0 1 0 78284654 5283401728 1234359 18446744073709551615 4235264 18693293 140730485588016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34881536 140730485590407 140730485590506 140730485590506 140730485596110 0
/proc/88359/statm: 1289893 1234359 3936 3530 0 1281344 0
Current children cumulated CPU time: 3570.64 s
Current children cumulated vsize: 5159572 KiB
Current children cumulated memory: 4937436 KiB
[startup+3597.83 s]
# the end of solver process 88359 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.72 s, system=3.40749 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.12 4.16 5/253 89014
/proc/meminfo: memFree=117611260/131382112 swapFree=33010416/33010684
[pid=88359] ppid=88356 vsize=5159572 memory=4937436 CPUtime=3572.35 cores=1,3
/proc/88359/stat : 88359 (pbscip) R 88356 88359 88018 0 -1 4194304 1323717 0 0 0 356908 327 0 0 20 0 1 0 78284654 5283401728 1234359 18446744073709551615 4235264 18693293 140730485588016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34881536 140730485590407 140730485590506 140730485590506 140730485596110 0
/proc/88359/statm: 1289893 1234359 3936 3530 0 1281344 0
Current children cumulated CPU time: 3572.35 s
Current children cumulated vsize: 5159572 KiB
Current children cumulated memory: 4937436 KiB
[startup+3590.4 s]
/proc/loadavg: 4.14 4.12 4.16 5/253 89014
/proc/meminfo: memFree=117604796/131382112 swapFree=33010416/33010684
[pid=88359] ppid=88356 vsize=5159572 memory=4937436 CPUtime=3578.72 cores=1,3
/proc/88359/stat : 88359 (pbscip) R 88356 88359 88018 0 -1 4194304 1323723 0 0 0 357545 327 0 0 20 0 1 0 78284654 5283401728 1234359 18446744073709551615 4235264 18693293 140730485588016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34881536 140730485590407 140730485590506 140730485590506 140730485596110 0
/proc/88359/statm: 1289893 1234359 3936 3530 0 1281344 0
Current children cumulated CPU time: 3578.72 s
Current children cumulated vsize: 5159572 KiB
Current children cumulated memory: 4937436 KiB
[startup+3593.6 s]
/proc/loadavg: 4.12 4.12 4.16 5/253 89014
/proc/meminfo: memFree=117604796/131382112 swapFree=33010416/33010684
[pid=88359] ppid=88356 vsize=5159572 memory=4937436 CPUtime=3581.9 cores=1,3
/proc/88359/stat : 88359 (pbscip) R 88356 88359 88018 0 -1 4194304 1323731 0 0 0 357863 327 0 0 20 0 1 0 78284654 5283401728 1234359 18446744073709551615 4235264 18693293 140730485588016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34881536 140730485590407 140730485590506 140730485590506 140730485596110 0
/proc/88359/statm: 1289893 1234359 3936 3530 0 1281344 0
Current children cumulated CPU time: 3581.9 s
Current children cumulated vsize: 5159572 KiB
Current children cumulated memory: 4937436 KiB
[startup+3595.2 s]
/proc/loadavg: 4.12 4.12 4.16 5/253 89014
/proc/meminfo: memFree=117596732/131382112 swapFree=33010416/33010684
[pid=88359] ppid=88356 vsize=5159572 memory=4937436 CPUtime=3583.5 cores=1,3
/proc/88359/stat : 88359 (pbscip) R 88356 88359 88018 0 -1 4194304 1323734 0 0 0 358023 327 0 0 20 0 1 0 78284654 5283401728 1234359 18446744073709551615 4235264 18693293 140730485588016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34881536 140730485590407 140730485590506 140730485590506 140730485596110 0
/proc/88359/statm: 1289893 1234359 3936 3530 0 1281344 0
Current children cumulated CPU time: 3583.5 s
Current children cumulated vsize: 5159572 KiB
Current children cumulated memory: 4937436 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.11 4.16 4/249 89022
/proc/meminfo: memFree=121079264/131382112 swapFree=33010416/33010684
[pid=88359] ppid=88356 vsize=5159572 memory=4937436 CPUtime=3585.09 cores=1,3
/proc/88359/stat : 88359 (pbscip) R 88356 88359 88018 0 -1 4194304 1323743 0 0 0 358182 327 0 0 20 0 1 0 78284654 5283401728 1234359 18446744073709551615 4235264 18693293 140730485588016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34881536 140730485590407 140730485590506 140730485590506 140730485596110 0
/proc/88359/statm: 1289893 1234359 3936 3530 0 1281344 0
Current children cumulated CPU time: 3585.09 s
Current children cumulated vsize: 5159572 KiB
Current children cumulated memory: 4937436 KiB
[startup+3597.6 s]
/proc/loadavg: 4.11 4.11 4.16 5/250 89031
/proc/meminfo: memFree=121081712/131382112 swapFree=33010416/33010684
[pid=88359] ppid=88356 vsize=5124840 memory=4902824 CPUtime=3585.89 cores=1,3
/proc/88359/stat : 88359 (pbscip) R 88356 88359 88018 0 -1 4194304 1323939 0 0 0 358262 327 0 0 20 0 1 0 78284654 5247836160 1225706 18446744073709551615 4235264 18693293 140730485588016 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34881536 140730485590407 140730485590506 140730485590506 140730485596110 0
/proc/88359/statm: 1281210 1225706 3936 3530 0 1272661 0
Current children cumulated CPU time: 3585.89 s
Current children cumulated vsize: 5124840 KiB
Current children cumulated memory: 4902824 KiB
[startup+3597.8 s]*
/proc/loadavg: 4.11 4.11 4.16 5/253 89059
/proc/meminfo: memFree=125308116/131382112 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3597.83
CPU time (s): 3586.12
CPU user time (s): 3582.72
CPU system time (s): 3.40749
CPU usage (%): 99.6747
Max. virtual memory (cumulated for all children) (KiB): 5176212
Max. memory (cumulated for all children) (KiB): 4954256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.72
system time used= 3.40748
maximum resident set size= 4954256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1324024
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= 162
involuntary context switches= 3395
# summary of solver processes directly reported to runsolver:
# pid: 88359
# total CPU time (s): 3586.12
# total CPU user time (s): 3582.72
# total CPU system time (s): 3.40749
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4752 second user time and 35.1672 second system time
The end
Begin job on nodeC012 at 2025-07-04 12:47:29 IDJOB=4525849 IDBENCH=143901 IDSOLVER=3382 FILE ID=nodeC012/4525849-1751626049 RUNJOBID= nodeC012-1751626031-88030 SLURM_JOB_ID= 9598953 Free space on /tmp= 431788 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/academics/normalized-slangford-3-11_wcsp.wbo COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525849-1751626049/watcher-4525849-1751626049 -o /tmp/evaluation-result-4525849-1751626049/solver-4525849-1751626049 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751626031-88030 --watchdog 3760 pbscip -f HOME/instance-4525849-1751626049.wbo -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d1e83745c12c7ec680c949b5ab02beb5 RANDOM SEED=1673791036 nodeC012 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.962 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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 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 : 1197.140 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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 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.561 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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 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 : 3700.000 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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 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 : 3491.693 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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 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 : 3691.255 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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 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.756 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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 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.105 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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 122900156 kB MemAvailable: 123286152 kB Buffers: 2136 kB Cached: 1185456 kB SwapCached: 16 kB Active: 7193952 kB Inactive: 565228 kB Active(anon): 6584584 kB Inactive(anon): 4948 kB Active(file): 609368 kB Inactive(file): 560280 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 95080 kB Writeback: 0 kB AnonPages: 6572708 kB Mapped: 135052 kB Shmem: 17944 kB KReclaimable: 111568 kB Slab: 197088 kB SReclaimable: 111568 kB SUnreclaim: 85520 kB KernelStack: 3996 kB PageTables: 16284 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 7623512 kB VmallocTotal: 34359738367 kB VmallocUsed: 149400 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1466368 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 187208 kB DirectMap2M: 8103936 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 431660 MiB End job on nodeC012 at 2025-07-04 13:47:28