0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4514385-1751223123.opb>
0.00/0.02 c original problem has 1806 variables (1806 bin, 0 int, 0 cont) and 8614 constraints
0.00/0.02 c problem read in 0.024 seconds
0.00/0.02 c problem without objective
0.00/0.04 c presolving:
0.00/0.06 c (round 1, fast) 4 del vars, 3 del conss, 0 add conss, 3 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3280 clqs
0.00/0.06 c (round 2, fast) 6 del vars, 363 del conss, 0 add conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3440 clqs
0.00/0.06 c (round 3, fast) 7 del vars, 395 del conss, 0 add conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3440 clqs
0.00/0.08 c (0.1s) running MILP presolver
0.09/0.11 c (0.1s) MILP presolver found nothing
0.09/0.14 c (round 4, exhaustive) 7 del vars, 395 del conss, 0 add conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 8218 upgd conss, 0 impls, 3440 clqs
0.20/0.26 c (0.3s) probing: 95/1800 (5.3%) - 0 fixings, 0 aggregations, 8 implications, 0 bound changes
0.20/0.26 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.20/0.29 c (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.30/0.34 c (0.3s) symmetry computation finished: 21 generators found (max: 1500, log10 of symmetry group size: 6.32) (symcode time: 0.04)
0.30/0.34 c dynamic symmetry handling statistics:
0.30/0.34 c orbitopal reduction: no components
0.30/0.34 c orbital reduction: no components
0.30/0.34 c lexicographic reduction: 21 permutations with support sizes 82, 84, 84, 84, 84, 84, 84, 84, 84, 84, 84, 84, 84, 84, 84, 84, 84, 84, 84, 84, 42
0.30/0.34 c handled 21 out of 21 symmetry components
0.30/0.35 c presolving (5 rounds: 5 fast, 2 medium, 2 exhaustive):
0.30/0.35 c 7 deleted vars, 395 deleted constraints, 0 added constraints, 4 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.30/0.35 c 0 implications, 3448 cliques
0.30/0.35 c presolved problem has 1800 variables (1800 bin, 0 int, 0 cont) and 8219 constraints
0.30/0.35 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.30/0.35 c 3440 constraints of type <setppc>
0.30/0.35 c 1 constraints of type <linear>
0.30/0.35 c 4778 constraints of type <logicor>
0.30/0.35 c transformed objective value is always integral (scale: 1)
0.30/0.35 c Presolving Time: 0.31
0.30/0.35 c
0.30/0.35 c - non default parameters ----------------------------------------------------------------------
0.30/0.35 c
0.30/0.35 c # SCIP version 10.0.0
0.30/0.35 c
0.30/0.35 c # maximal time in seconds to run
0.30/0.35 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.30/0.35 c limits/time = 3596.998015
0.30/0.35 c
0.30/0.35 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.30/0.35 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.30/0.35 c limits/memory = 27900
0.30/0.35 c
0.30/0.35 c # belongs reading time to solving time?
0.30/0.35 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.30/0.35 c timing/reading = TRUE
0.30/0.35 c
0.30/0.35 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.30/0.35 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.30/0.35 c reading/opbreader/maxintsize = 47
0.30/0.35 c
0.30/0.35 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.30/0.35 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.30/0.35 c propagating/genvbounds/timingmask = 0
0.30/0.35 c
0.30/0.35 c -----------------------------------------------------------------------------------------------
0.30/0.36 c
0.78/0.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.78/0.82 c 0.8s| 1 | 0 | 2583 | - | 79M | 0 |1800 |8406 |8219 | 0 | 0 | 190 | 0 | 0.000000e+00 | -- | Inf | unknown
9.16/9.27 c 9.3s| 1 | 0 | 24772 | - | 97M | 0 |1800 |8610 |8240 | 21 | 1 | 194 | 0 | 0.000000e+00 | -- | Inf | unknown
9.66/9.75 c 9.7s| 1 | 0 | 26524 | - | 109M | 0 |1800 |8616 |8249 | 30 | 2 | 200 | 0 | 0.000000e+00 | -- | Inf | unknown
10.25/10.35 c 10.4s| 1 | 0 | 28594 | - | 116M | 0 |1800 |8616 |8260 | 41 | 3 | 200 | 0 | 0.000000e+00 | -- | Inf | unknown
10.96/11.04 c 11.0s| 1 | 0 | 30755 | - | 128M | 0 |1800 |8616 |8266 | 47 | 4 | 200 | 0 | 0.000000e+00 | -- | Inf | unknown
11.45/11.58 c 11.6s| 1 | 0 | 32505 | - | 138M | 0 |1800 |8623 |8271 | 52 | 5 | 208 | 0 | 0.000000e+00 | -- | Inf | unknown
12.15/12.23 c 12.2s| 1 | 0 | 34410 | - | 151M | 0 |1800 |8623 |8276 | 57 | 6 | 208 | 0 | 0.000000e+00 | -- | Inf | unknown
13.65/13.73 c 13.7s| 1 | 0 | 35978 | - | 153M | 0 |1800 |8630 |8282 | 63 | 7 | 215 | 0 | 0.000000e+00 | -- | Inf | unknown
15.24/15.32 c 15.3s| 1 | 0 | 38001 | - | 154M | 0 |1800 |8630 |8289 | 70 | 8 | 215 | 0 | 0.000000e+00 | -- | Inf | unknown
15.75/15.86 c 15.9s| 1 | 0 | 39161 | - | 168M | 0 |1800 |8635 |8290 | 71 | 9 | 220 | 0 | 0.000000e+00 | -- | Inf | unknown
16.74/16.81 c 16.8s| 1 | 0 | 41758 | - | 182M | 0 |1800 |8635 |8296 | 77 | 10 | 220 | 0 | 0.000000e+00 | -- | Inf | unknown
17.14/17.23 c 17.2s| 1 | 0 | 43078 | - | 184M | 0 |1800 |8635 |8300 | 81 | 11 | 220 | 0 | 0.000000e+00 | -- | Inf | unknown
21.82/21.94 c 21.9s| 1 | 2 | 47609 | - | 184M | 0 |1800 |8646 |8300 | 81 | 11 | 233 | 11 | 0.000000e+00 | -- | Inf | unknown
128.13/128.50 c 129s| 100 | 101 |433358 |3942.2 | 209M | 13 |1800 |8941 |8255 | 269 | 2 |1006 | 11 | 0.000000e+00 | -- | Inf | unknown
171.10/171.65 c 172s| 200 | 201 |611557 |2856.7 | 210M | 15 |1800 |8947 |8259 | 269 | 1 |1306 | 11 | 0.000000e+00 | -- | Inf | unknown
235.21/235.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
235.21/235.96 c 236s| 300 | 301 |880039 |2799.2 | 241M | 15 |1800 |9139 |8240 | 621 | 1 |1931 | 11 | 0.000000e+00 | -- | Inf | unknown
289.74/290.64 c 291s| 400 | 399 | 1119k|2698.2 | 262M | 15 |1800 |9373 |8240 | 854 | 1 |2413 | 11 | 0.000000e+00 | -- | Inf | unknown
352.76/353.87 c 354s| 500 | 491 | 1390k|2699.8 | 271M | 15 |1800 |9557 |8240 |1263 | 1 |2701 | 11 | 0.000000e+00 | -- | Inf | 1.61%
434.63/435.92 c 436s| 600 | 571 | 1743k|2838.9 | 278M | 17 |1800 |9995 |8240 |1934 | 1 |3297 | 11 | 0.000000e+00 | -- | Inf | 3.12%
499.76/501.27 c 501s| 700 | 667 | 2029k|2842.4 | 279M | 17 |1800 | 10k|8240 |2557 | 1 |3850 | 11 | 0.000000e+00 | -- | Inf | 3.27%
568.47/570.14 c 570s| 800 | 765 | 2327k|2858.8 | 284M | 17 |1800 | 10k|8240 |3344 | 1 |4253 | 11 | 0.000000e+00 | -- | Inf | 3.47%
636.98/638.85 c 639s| 900 | 859 | 2626k|2874.1 | 293M | 18 |1800 | 10k|8273 |4406 | 2 |4690 | 11 | 0.000000e+00 | -- | Inf | 4.05%
727.13/729.25 c 729s| 1000 | 931 | 3011k|2971.5 | 299M | 18 |1800 | 10k|8253 |5378 | 1 |5249 | 11 | 0.000000e+00 | -- | Inf | 5.74%
808.72/811.06 c 811s| 1100 | 999 | 3364k|3022.4 | 302M | 18 |1800 | 11k|8274 |6084 | 2 |5853 | 11 | 0.000000e+00 | -- | Inf | 7.32%
880.63/883.10 c 883s| 1200 | 1077 | 3676k|3030.6 | 304M | 18 |1800 | 11k|8240 |6788 | 1 |6376 | 11 | 0.000000e+00 | -- | Inf | 8.13%
960.46/963.24 c 963s| 1300 | 1163 | 4015k|3057.9 | 312M | 18 |1800 | 11k|8252 |7656 | 1 |7170 | 11 | 0.000000e+00 | -- | Inf | 8.51%
1021.86/1024.86 c 1025s| 1400 | 1223 | 4261k|3015.1 | 315M | 27 |1800 | 12k|8259 |8083 | 1 |7594 | 11 | 0.000000e+00 | -- | Inf | 9.34%
1091.84/1095.09 c 1095s| 1500 | 1257 | 4599k|3039.5 | 317M | 28 |1800 | 12k|8264 |8300 | 1 |7771 | 11 | 0.000000e+00 | -- | Inf | 9.66%
1135.29/1138.61 c 1139s| 1600 | 1339 | 4802k|2976.6 | 319M | 28 |1800 | 11k|8268 |8682 | 1 |8146 | 11 | 0.000000e+00 | -- | Inf | 9.95%
1140.27/1143.60 c 1144s| 1700 | 1349 | 4834k|2819.9 | 319M | 29 |1800 | 11k|8263 |8689 | 1 |8213 | 11 | 0.000000e+00 | -- | Inf | 9.95%
1142.86/1146.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1142.86/1146.27 c 1146s| 1800 | 1343 | 4853k|2673.8 | 319M | 30 |1800 | 12k|8263 |8689 | 0 |8327 | 11 | 0.000000e+00 | -- | Inf | 9.95%
1146.95/1150.39 c 1150s| 1900 | 1339 | 4883k|2549.1 | 320M | 30 |1800 | 12k|8266 |8699 | 1 |8363 | 11 | 0.000000e+00 | -- | Inf | 9.95%
1149.65/1153.01 c 1153s| 2000 | 1333 | 4904k|2431.8 | 320M | 30 |1800 | 12k|8266 |8699 | 0 |8421 | 11 | 0.000000e+00 | -- | Inf | 9.95%
1155.12/1158.52 c 1159s| 2100 | 1337 | 4941k|2333.5 | 320M | 30 |1800 | 12k|8267 |8720 | 2 |8482 | 11 | 0.000000e+00 | -- | Inf | 9.95%
1160.71/1164.18 c 1164s| 2200 | 1341 | 4981k|2245.9 | 320M | 30 |1800 | 12k|8265 |8761 | 1 |8531 | 11 | 0.000000e+00 | -- | Inf | 9.95%
1164.49/1167.97 c 1168s| 2300 | 1337 | 5009k|2160.3 | 320M | 30 |1800 | 12k|8268 |8778 | 2 |8565 | 11 | 0.000000e+00 | -- | Inf | 9.95%
1168.58/1172.07 c 1172s| 2400 | 1337 | 5040k|2083.0 | 320M | 30 |1800 | 12k|8266 |8785 | 1 |8602 | 11 | 0.000000e+00 | -- | Inf | 9.95%
1172.86/1176.35 c 1176s| 2500 | 1341 | 5071k|2012.1 | 320M | 30 |1800 | 12k|8267 |8820 | 1 |8636 | 11 | 0.000000e+00 | -- | Inf | 9.95%
1178.15/1181.61 c 1182s| 2600 | 1333 | 5104k|1947.5 | 319M | 30 |1800 | 12k|8267 |8832 | 0 |8672 | 11 | 0.000000e+00 | -- | Inf | 9.95%
1183.83/1187.39 c 1187s| 2700 | 1331 | 5146k|1890.8 | 319M | 30 |1800 | 12k|8265 |8873 | 0 |8701 | 11 | 0.000000e+00 | -- | Inf | 9.95%
1190.01/1193.56 c 1194s| 2800 | 1329 | 5189k|1838.7 | 316M | 30 |1800 | 12k|8266 |8923 | 0 |8754 | 11 | 0.000000e+00 | -- | Inf | 9.95%
1196.49/1200.08 c 1200s| 2900 | 1329 | 5236k|1791.5 | 317M | 30 |1800 | 12k|8264 |8964 | 1 |8833 | 11 | 0.000000e+00 | -- | Inf | 9.96%
1201.57/1205.19 c 1205s| 3000 | 1325 | 5273k|1744.0 | 316M | 30 |1800 | 12k|8266 |8993 | 0 |8883 | 11 | 0.000000e+00 | -- | Inf | 9.96%
1205.75/1209.38 c 1209s| 3100 | 1324 | 5304k|1697.7 | 317M | 30 |1800 | 12k|8265 |9008 | 0 |8937 | 11 | 0.000000e+00 | -- | Inf | 9.96%
1211.73/1215.33 c 1215s| 3200 | 1326 | 5347k|1658.0 | 316M | 30 |1800 | 12k|8263 |9050 | 1 |8974 | 11 | 0.000000e+00 | -- | Inf | 9.96%
1234.56/1238.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1234.56/1238.27 c 1238s| 3300 | 1332 | 5450k|1639.2 | 316M | 30 |1800 | 12k|8267 |9127 | 0 |9043 | 11 | 0.000000e+00 | -- | Inf | 10.11%
1286.79/1290.60 c 1291s| 3400 | 1358 | 5701k|1664.7 | 316M | 30 |1800 | 12k|8258 |9562 | 1 |9078 | 11 | 0.000000e+00 | -- | Inf | 10.96%
1292.07/1295.95 c 1296s| 3500 | 1358 | 5740k|1628.2 | 316M | 30 |1800 | 12k|8259 |9601 | 1 |9110 | 11 | 0.000000e+00 | -- | Inf | 10.96%
1292.28/1296.19 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1292.37/1296.24 c (run 1, node 3511) performing user restart
1292.37/1296.24 c
1292.37/1296.25 c (restart) converted 30 cuts from the global cut pool into linear constraints
1292.37/1296.25 c
1292.47/1296.32 c presolving:
1292.47/1296.34 c (round 1, fast) 0 del vars, 26 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 317 chg coeffs, 0 upgd conss, 0 impls, 3448 clqs
1292.47/1296.39 c (round 2, exhaustive) 0 del vars, 30 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 317 chg coeffs, 155 upgd conss, 0 impls, 3448 clqs
1292.77/1296.67 c (round 3, exhaustive) 0 del vars, 104 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 2359 chg coeffs, 155 upgd conss, 0 impls, 3448 clqs
1293.07/1296.94 c (round 4, exhaustive) 0 del vars, 120 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 2360 chg coeffs, 155 upgd conss, 0 impls, 3448 clqs
1293.07/1296.99 c (round 5, exhaustive) 0 del vars, 120 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 2596 chg coeffs, 155 upgd conss, 0 impls, 3448 clqs
1293.47/1297.32 c presolving (6 rounds: 6 fast, 5 medium, 5 exhaustive):
1293.47/1297.32 c 0 deleted vars, 120 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 2596 changed coefficients
1293.47/1297.32 c 0 implications, 3448 cliques
1293.47/1297.32 c presolved problem has 1800 variables (1800 bin, 0 int, 0 cont) and 12041 constraints
1293.47/1297.32 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
1293.47/1297.32 c 61 constraints of type <knapsack>
1293.47/1297.32 c 3440 constraints of type <setppc>
1293.47/1297.32 c 65 constraints of type <linear>
1293.47/1297.32 c 8475 constraints of type <logicor>
1293.47/1297.32 c transformed objective value is always integral (scale: 1)
1293.47/1297.32 c Presolving Time: 1.32
1293.47/1297.32 c
1293.87/1297.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1293.87/1297.70 c 1298s| 1 | 0 | 5744k| - | 306M | 0 |1800 | 12k|8247 | 0 | 0 |9162 | 11 | 0.000000e+00 | -- | Inf | unknown
1294.36/1298.26 c 1298s| 1 | 0 | 5746k| - | 311M | 0 |1800 | 12k|8261 | 14 | 1 |9162 | 11 | 0.000000e+00 | -- | Inf | unknown
1294.96/1298.81 c 1299s| 1 | 0 | 5748k| - | 316M | 0 |1800 | 12k|8271 | 24 | 2 |9162 | 11 | 0.000000e+00 | -- | Inf | unknown
1295.46/1299.33 c 1299s| 1 | 0 | 5749k| - | 317M | 0 |1800 | 12k|8277 | 30 | 3 |9168 | 11 | 0.000000e+00 | -- | Inf | unknown
1296.96/1300.82 c 1301s| 1 | 0 | 5752k| - | 318M | 0 |1800 | 12k|8284 | 37 | 4 |9174 | 11 | 0.000000e+00 | -- | Inf | unknown
1297.65/1301.54 c 1302s| 1 | 0 | 5754k| - | 319M | 0 |1800 | 12k|8289 | 42 | 5 |9181 | 11 | 0.000000e+00 | -- | Inf | unknown
1299.35/1303.24 c 1303s| 1 | 0 | 5756k| - | 319M | 0 |1800 | 12k|8297 | 50 | 6 |9185 | 11 | 0.000000e+00 | -- | Inf | unknown
1300.15/1304.03 c 1304s| 1 | 0 | 5758k| - | 320M | 0 |1800 | 12k|8303 | 56 | 7 |9189 | 11 | 0.000000e+00 | -- | Inf | unknown
1301.64/1305.58 c 1306s| 1 | 0 | 5760k| - | 321M | 0 |1800 | 12k|8308 | 61 | 8 |9189 | 11 | 0.000000e+00 | -- | Inf | unknown
1303.04/1306.99 c 1307s| 1 | 0 | 5762k| - | 322M | 0 |1800 | 12k|8313 | 66 | 9 |9189 | 11 | 0.000000e+00 | -- | Inf | unknown
1304.63/1308.59 c 1309s| 1 | 0 | 5764k| - | 323M | 0 |1800 | 12k|8318 | 71 | 10 |9189 | 11 | 0.000000e+00 | -- | Inf | unknown
1305.33/1309.28 c 1309s| 1 | 0 | 5766k| - | 324M | 0 |1800 | 12k|8321 | 74 | 11 |9189 | 11 | 0.000000e+00 | -- | Inf | unknown
1313.70/1317.60 c 1318s| 1 | 2 | 5773k| - | 324M | 0 |1800 | 12k|8321 | 74 | 11 |9195 | 30 | 0.000000e+00 | -- | Inf | unknown
1411.89/1416.15 c 1416s| 100 | 65 | 6169k|1690.5 | 336M | 16 |1800 |9599 |8274 | 295 | 1 |9681 | 30 | 0.000000e+00 | -- | Inf | 0.80%
1434.71/1439.09 c 1439s| 200 | 69 | 6276k|1673.6 | 338M | 30 |1800 |9561 |8274 | 321 | 1 |9768 | 30 | 0.000000e+00 | -- | Inf | 0.83%
1471.68/1476.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1471.68/1476.16 c 1476s| 300 | 87 | 6449k|1675.2 | 341M | 30 |1800 |9304 |8269 | 412 | 0 |9822 | 30 | 0.000000e+00 | -- | Inf | 1.29%
1522.33/1526.95 c 1527s| 400 | 121 | 6674k|1689.8 | 346M | 30 |1800 |9012 |8272 | 590 | 0 |9935 | 30 | 0.000000e+00 | -- | Inf | 2.54%
1577.97/1582.73 c 1583s| 500 | 155 | 6918k|1708.5 | 350M | 30 |1800 |8888 |8270 | 873 | 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 3.11%
1599.72/1604.50 c 1605s| 600 | 159 | 7026k|1693.2 | 350M | 30 |1800 |8899 |8271 | 891 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 3.17%
1627.24/1632.16 c 1632s| 700 | 167 | 7165k|1686.1 | 350M | 30 |1800 |8876 |8270 | 913 | 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 3.26%
1644.10/1649.02 c 1649s| 800 | 169 | 7250k|1666.6 | 350M | 30 |1800 |8863 |8270 | 914 | 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 3.27%
1654.76/1659.78 c 1660s| 900 | 169 | 7300k|1640.1 | 350M | 30 |1800 |8909 |8271 | 917 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 3.28%
1667.32/1672.31 c 1672s| 1000 | 165 | 7355k|1616.0 | 350M | 30 |1800 |8915 |8270 | 924 | 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 3.28%
1704.22/1709.33 c 1709s| 1100 | 177 | 7501k|1612.7 | 350M | 30 |1800 |8887 |8275 | 929 | 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 3.36%
1742.30/1747.50 c 1748s| 1200 | 209 | 7684k|1617.3 | 350M | 30 |1800 |8869 |8271 |1005 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 3.55%
1789.57/1794.92 c 1795s| 1300 | 240 | 7900k|1628.5 | 350M | 30 |1800 |8933 |8283 |1219 | 2 | 10k| 30 | 0.000000e+00 | -- | Inf | 4.37%
1808.62/1814.09 c 1814s| 1400 | 249 | 8002k|1616.0 | 350M | 30 |1800 |8994 |8268 |1243 | 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 4.48%
1825.37/1830.80 c 1831s| 1500 | 265 | 8098k|1603.0 | 351M | 30 |1800 |9049 |8273 |1290 | 2 | 10k| 30 | 0.000000e+00 | -- | Inf | 4.49%
1831.25/1836.75 c 1837s| 1600 | 264 | 8139k|1579.7 | 351M | 31 |1800 |9111 |8272 |1308 | 1 | 11k| 30 | 0.000000e+00 | -- | Inf | 4.49%
1865.75/1871.32 c 1871s| 1700 | 284 | 8300k|1580.4 | 351M | 31 |1800 |9076 |8276 |1486 | 1 | 11k| 30 | 0.000000e+00 | -- | Inf | 4.92%
1884.40/1890.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1884.40/1890.00 c 1890s| 1800 | 290 | 8401k|1569.6 | 351M | 31 |1800 |9023 |8271 |1511 | 0 | 11k| 30 | 0.000000e+00 | -- | Inf | 4.96%
1931.37/1937.12 c 1937s| 1900 | 316 | 8616k|1580.2 | 351M | 31 |1800 |8973 |8265 |1666 | 0 | 11k| 30 | 0.000000e+00 | -- | Inf | 6.27%
1968.46/1974.34 c 1974s| 2000 | 358 | 8797k|1584.4 | 351M | 31 |1800 |9035 |8272 |1814 | 1 | 11k| 30 | 0.000000e+00 | -- | Inf | 6.53%
1978.93/1984.84 c 1985s| 2100 | 360 | 8867k|1568.6 | 351M | 31 |1800 |9034 |8274 |1836 | 1 | 11k| 30 | 0.000000e+00 | -- | Inf | 6.54%
1991.20/1997.18 c 1997s| 2200 | 360 | 8947k|1555.2 | 351M | 31 |1800 |9045 |8274 |1862 | 2 | 11k| 30 | 0.000000e+00 | -- | Inf | 6.54%
2011.14/2017.15 c 2017s| 2300 | 366 | 9056k|1547.1 | 352M | 31 |1800 |9115 |8271 |1888 | 1 | 11k| 30 | 0.000000e+00 | -- | Inf | 6.62%
2057.70/2063.82 c 2064s| 2400 | 378 | 9267k|1556.8 | 352M | 31 |1800 |9018 |8258 |1967 | 1 | 11k| 30 | 0.000000e+00 | -- | Inf | 7.64%
2078.04/2084.24 c 2084s| 2500 | 426 | 9375k|1548.9 | 352M | 31 |1800 |9085 |8275 |2074 | 0 | 11k| 30 | 0.000000e+00 | -- | Inf | 7.64%
2082.83/2089.02 c 2089s| 2600 | 421 | 9409k|1529.0 | 352M | 31 |1800 |9147 |8276 |2082 | 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 7.64%
2089.21/2095.48 c 2095s| 2700 | 419 | 9454k|1511.7 | 352M | 31 |1800 |9216 |8276 |2098 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 7.65%
2095.19/2101.45 c 2101s| 2800 | 435 | 9497k|1494.6 | 352M | 31 |1800 |9226 |8276 |2108 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 7.65%
2099.58/2105.85 c 2106s| 2900 | 427 | 9532k|1476.6 | 353M | 31 |1800 |9222 |8276 |2115 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 7.65%
2105.26/2111.59 c 2112s| 3000 | 433 | 9573k|1460.2 | 353M | 31 |1800 |9260 |8277 |2140 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 7.65%
2111.04/2117.34 c 2117s| 3100 | 429 | 9615k|1444.5 | 353M | 31 |1800 |9260 |8275 |2145 | 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 7.65%
2116.63/2122.92 c 2123s| 3200 | 436 | 9655k|1428.9 | 353M | 31 |1800 |9305 |8275 |2153 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 7.65%
2121.82/2128.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2121.82/2128.16 c 2128s| 3300 | 432 | 9693k|1413.6 | 353M | 31 |1800 |9355 |8274 |2158 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 7.65%
2128.29/2134.65 c 2135s| 3400 | 424 | 9739k|1399.8 | 353M | 31 |1800 |9352 |8277 |2173 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 7.65%
2136.37/2142.75 c 2143s| 3500 | 420 | 9795k|1387.7 | 353M | 31 |1800 |9341 |8276 |2197 | 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 7.65%
2144.55/2150.91 c 2151s| 3600 | 422 | 9852k|1376.2 | 353M | 31 |1800 |9337 |8275 |2214 | 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 7.65%
2152.12/2158.55 c 2159s| 3700 | 426 | 9905k|1364.5 | 353M | 31 |1800 |9328 |8275 |2231 | 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 7.66%
2157.71/2164.19 c 2164s| 3800 | 425 | 9945k|1351.4 | 353M | 31 |1800 |9342 |8276 |2238 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 7.66%
2166.38/2172.87 c 2173s| 3900 | 425 | 10000k|1340.6 | 353M | 31 |1800 |9328 |8277 |2255 | 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 7.66%
2173.67/2180.11 c 2180s| 4000 | 417 | 10051k|1329.4 | 353M | 31 |1800 |9328 |8277 |2274 | 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 7.66%
2183.94/2190.46 c 2190s| 4100 | 419 | 10121k|1321.2 | 353M | 31 |1800 |9312 |8275 |2306 | 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 7.66%
2192.52/2199.03 c 2199s| 4200 | 417 | 10179k|1311.6 | 353M | 31 |1800 |9310 |8273 |2328 | 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 7.67%
2198.10/2204.60 c 2205s| 4300 | 421 | 10219k|1299.9 | 353M | 31 |1800 |9320 |8276 |2338 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 7.67%
2203.98/2210.57 c 2211s| 4400 | 417 | 10261k|1288.8 | 353M | 31 |1800 |9349 |8274 |2343 | 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 7.67%
2213.05/2219.69 c 2220s| 4500 | 413 | 10323k|1280.4 | 353M | 31 |1800 |9348 |8273 |2357 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 7.67%
2221.83/2228.40 c 2228s| 4600 | 411 | 10381k|1271.8 | 353M | 31 |1800 |9357 |8274 |2377 | 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 7.67%
2231.51/2238.16 c 2238s| 4700 | 411 | 10442k|1263.7 | 353M | 31 |1800 |9361 |8277 |2384 | 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 7.67%
2243.47/2250.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2243.47/2250.17 c 2250s| 4800 | 413 | 10519k|1257.8 | 353M | 31 |1800 |9353 |8277 |2398 | 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 7.68%
2253.83/2260.50 c 2260s| 4900 | 417 | 10586k|1250.9 | 354M | 31 |1800 |9350 |8275 |2416 | 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 7.68%
2264.31/2271.04 c 2271s| 5000 | 419 | 10654k|1244.1 | 354M | 31 |1800 |9348 |8273 |2431 | 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 7.69%
2269.99/2276.77 c 2277s| 5100 | 429 | 10695k|1234.4 | 354M | 31 |1800 |9343 |8276 |2445 | 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 7.69%
2276.27/2283.07 c 2283s| 5200 | 428 | 10739k|1225.3 | 354M | 31 |1800 |9386 |8277 |2453 | 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 7.69%
2282.85/2289.63 c 2290s| 5300 | 424 | 10785k|1216.6 | 354M | 31 |1800 |9402 |8276 |2464 | 2 | 13k| 30 | 0.000000e+00 | -- | Inf | 7.69%
2291.82/2298.69 c 2299s| 5400 | 424 | 10846k|1209.8 | 354M | 31 |1800 |9398 |8274 |2475 | 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 7.69%
2299.21/2306.02 c 2306s| 5500 | 422 | 10897k|1202.0 | 354M | 31 |1800 |9403 |8276 |2491 | 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 7.69%
2306.78/2313.66 c 2314s| 5600 | 426 | 10949k|1194.6 | 354M | 31 |1800 |9438 |8277 |2500 | 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 7.69%
2317.05/2323.92 c 2324s| 5700 | 426 | 11017k|1189.0 | 354M | 31 |1800 |9432 |8275 |2511 | 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 7.70%
2325.92/2332.84 c 2333s| 5800 | 424 | 11078k|1182.7 | 354M | 31 |1800 |9432 |8275 |2517 | 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 7.70%
2346.57/2353.57 c 2354s| 5900 | 430 | 11180k|1181.0 | 354M | 31 |1800 |9463 |8274 |2542 | 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 7.74%
2355.15/2362.18 c 2362s| 6000 | 440 | 11237k|1174.6 | 354M | 31 |1800 |9459 |8276 |2550 | 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 7.74%
2364.51/2371.50 c 2372s| 6100 | 434 | 11298k|1168.7 | 354M | 31 |1800 |9458 |8276 |2557 | 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 7.75%
2377.98/2385.02 c 2385s| 6200 | 440 | 11381k|1165.2 | 354M | 31 |1800 |9455 |8275 |2563 | 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 7.76%
2392.23/2399.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2392.23/2399.39 c 2399s| 6300 | 442 | 11470k|1162.4 | 354M | 31 |1800 |9449 |8274 |2571 | 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 7.77%
2408.49/2415.68 c 2416s| 6400 | 446 | 11562k|1159.9 | 354M | 31 |1800 |9433 |8272 |2601 | 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 7.79%
2453.15/2460.48 c 2460s| 6500 | 518 | 11776k|1169.8 | 354M | 31 |1800 |9673 |8274 |2790 | 1 | 14k| 30 | 0.000000e+00 | -- | Inf | 7.85%
2460.33/2467.65 c 2468s| 6600 | 510 | 11826k|1163.1 | 354M | 31 |1800 |9760 |8274 |2790 | 1 | 14k| 30 | 0.000000e+00 | -- | Inf | 7.85%
2474.49/2481.88 c 2482s| 6700 | 515 | 11910k|1160.0 | 354M | 31 |1800 |9782 |8272 |2820 | 1 | 14k| 30 | 0.000000e+00 | -- | Inf | 7.87%
2481.27/2488.61 c 2489s| 6800 | 522 | 11956k|1153.2 | 354M | 31 |1800 |9846 |8273 |2826 | 0 | 14k| 30 | 0.000000e+00 | -- | Inf | 7.87%
2492.33/2499.75 c 2500s| 6900 | 514 | 12029k|1149.1 | 355M | 31 |1800 |9837 |8274 |2835 | 1 | 14k| 30 | 0.000000e+00 | -- | Inf | 7.87%
2498.62/2506.07 c 2506s| 7000 | 538 | 12072k|1142.3 | 355M | 31 |1800 |9897 |8274 |2835 | 1 | 14k| 30 | 0.000000e+00 | -- | Inf | 7.87%
2501.80/2509.25 c 2509s| 7100 | 535 | 12097k|1133.9 | 355M | 31 |1800 |9919 |8274 |2835 | 1 | 14k| 30 | 0.000000e+00 | -- | Inf | 7.87%
2505.79/2513.29 c 2513s| 7200 | 535 | 12128k|1126.1 | 355M | 31 |1800 |9942 |8274 |2835 | 0 | 14k| 30 | 0.000000e+00 | -- | Inf | 7.87%
2511.28/2518.78 c 2519s| 7300 | 527 | 12168k|1119.5 | 355M | 31 |1800 |9941 |8274 |2835 | 1 | 14k| 30 | 0.000000e+00 | -- | Inf | 7.87%
2516.76/2524.27 c 2524s| 7400 | 531 | 12209k|1113.0 | 355M | 31 |1800 |9951 |8274 |2835 | 1 | 14k| 30 | 0.000000e+00 | -- | Inf | 7.87%
2520.75/2528.25 c 2528s| 7500 | 522 | 12239k|1105.5 | 355M | 31 |1800 |9969 |8274 |2835 | 0 | 14k| 30 | 0.000000e+00 | -- | Inf | 7.87%
2526.03/2533.57 c 2534s| 7600 | 526 | 12278k|1099.1 | 355M | 31 |1800 |9966 |8274 |2836 | 0 | 14k| 30 | 0.000000e+00 | -- | Inf | 7.87%
2533.01/2540.55 c 2541s| 7700 | 522 | 12328k|1093.8 | 355M | 31 |1800 |9966 |8274 |2836 | 1 | 14k| 30 | 0.000000e+00 | -- | Inf | 7.87%
2540.49/2548.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2540.49/2548.06 c 2548s| 7800 | 526 | 12382k|1088.8 | 355M | 31 |1800 |9964 |8275 |2837 | 1 | 14k| 30 | 0.000000e+00 | -- | Inf | 7.88%
2548.36/2555.95 c 2556s| 7900 | 530 | 12438k|1084.2 | 355M | 31 |1800 |9962 |8274 |2840 | 1 | 14k| 30 | 0.000000e+00 | -- | Inf | 7.88%
2553.15/2560.74 c 2561s| 8000 | 526 | 12474k|1077.9 | 355M | 31 |1800 |9972 |8275 |2841 | 1 | 14k| 30 | 0.000000e+00 | -- | Inf | 7.88%
2559.13/2566.76 c 2567s| 8100 | 524 | 12517k|1072.4 | 355M | 31 |1800 |9971 |8275 |2843 | 1 | 14k| 30 | 0.000000e+00 | -- | Inf | 7.88%
2565.71/2573.33 c 2573s| 8200 | 522 | 12563k|1067.2 | 355M | 31 |1800 |9971 |8275 |2847 | 1 | 14k| 30 | 0.000000e+00 | -- | Inf | 7.88%
2573.98/2581.61 c 2582s| 8300 | 520 | 12621k|1063.0 | 355M | 31 |1800 |9981 |8274 |2848 | 1 | 14k| 30 | 0.000000e+00 | -- | Inf | 7.88%
2581.26/2588.90 c 2589s| 8400 | 528 | 12673k|1058.5 | 355M | 31 |1800 |9993 |8274 |2848 | 1 | 15k| 30 | 0.000000e+00 | -- | Inf | 7.88%
2585.35/2593.05 c 2593s| 8500 | 522 | 12705k|1052.3 | 355M | 31 |1800 | 10k|8274 |2848 | 0 | 15k| 30 | 0.000000e+00 | -- | Inf | 7.88%
2590.63/2598.32 c 2598s| 8600 | 518 | 12743k|1046.8 | 355M | 31 |1800 | 10k|8274 |2848 | 1 | 15k| 30 | 0.000000e+00 | -- | Inf | 7.88%
2599.01/2606.71 c 2607s| 8700 | 522 | 12801k|1043.0 | 355M | 31 |1800 | 10k|8274 |2848 | 1 | 15k| 30 | 0.000000e+00 | -- | Inf | 7.88%
2612.67/2620.46 c 2620s| 8800 | 518 | 12884k|1041.2 | 355M | 31 |1800 | 10k|8274 |2868 | 1 | 15k| 30 | 0.000000e+00 | -- | Inf | 7.88%
2621.14/2628.98 c 2629s| 8900 | 522 | 12941k|1037.4 | 355M | 31 |1800 | 10k|8274 |2871 | 1 | 15k| 30 | 0.000000e+00 | -- | Inf | 7.88%
2632.11/2639.97 c 2640s| 9000 | 532 | 13012k|1034.8 | 355M | 31 |1800 | 10k|8274 |2878 | 1 | 15k| 30 | 0.000000e+00 | -- | Inf | 7.88%
2641.19/2649.10 c 2649s| 9100 | 540 | 13073k|1031.4 | 355M | 31 |1800 | 10k|8272 |2882 | 1 | 15k| 30 | 0.000000e+00 | -- | Inf | 7.88%
2646.66/2654.58 c 2655s| 9200 | 544 | 13113k|1026.5 | 355M | 31 |1800 | 10k|8273 |2884 | 0 | 15k| 30 | 0.000000e+00 | -- | Inf | 7.88%
2652.74/2660.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2652.74/2660.65 c 2661s| 9300 | 539 | 13156k|1021.8 | 355M | 31 |1800 | 10k|8272 |2886 | 0 | 15k| 30 | 0.000000e+00 | -- | Inf | 7.89%
2658.93/2666.83 c 2667s| 9400 | 537 | 13201k|1017.3 | 355M | 31 |1800 | 10k|8273 |2890 | 0 | 15k| 30 | 0.000000e+00 | -- | Inf | 7.89%
2666.80/2674.76 c 2675s| 9500 | 535 | 13256k|1013.8 | 355M | 31 |1800 | 10k|8273 |2893 | 1 | 15k| 30 | 0.000000e+00 | -- | Inf | 7.89%
2675.77/2683.72 c 2684s| 9600 | 535 | 13316k|1010.6 | 355M | 31 |1800 | 10k|8273 |2900 | 0 | 15k| 30 | 0.000000e+00 | -- | Inf | 7.89%
2684.85/2692.81 c 2693s| 9700 | 537 | 13377k|1007.6 | 355M | 31 |1800 | 10k|8272 |2906 | 0 | 15k| 30 | 0.000000e+00 | -- | Inf | 7.89%
2697.11/2705.13 c 2705s| 9800 | 531 | 13447k|1005.3 | 355M | 31 |1800 | 10k|8274 |2927 | 0 | 15k| 30 | 0.000000e+00 | -- | Inf | 7.98%
2707.68/2715.78 c 2716s| 9900 | 547 | 13516k|1002.9 | 355M | 31 |1800 | 10k|8275 |2931 | 1 | 15k| 30 | 0.000000e+00 | -- | Inf | 7.98%
2719.64/2727.76 c 2728s| 10000 | 545 | 13593k|1001.2 | 355M | 31 |1800 | 10k|8274 |2937 | 1 | 15k| 30 | 0.000000e+00 | -- | Inf | 7.99%
2733.31/2741.42 c 2741s| 10100 | 565 | 13668k| 999.4 | 356M | 31 |1800 | 10k|8273 |2943 | 1 | 15k| 30 | 0.000000e+00 | -- | Inf | 7.99%
2740.99/2749.17 c 2749s| 10200 | 555 | 13723k| 996.0 | 356M | 31 |1800 | 10k|8274 |2947 | 1 | 15k| 30 | 0.000000e+00 | -- | Inf | 7.99%
2751.54/2759.77 c 2760s| 10300 | 549 | 13793k| 993.9 | 356M | 31 |1800 | 10k|8272 |2954 | 1 | 15k| 30 | 0.000000e+00 | -- | Inf | 8.00%
2758.62/2766.89 c 2767s| 10400 | 568 | 13844k| 990.5 | 356M | 31 |1800 | 10k|8272 |2955 | 0 | 16k| 30 | 0.000000e+00 | -- | Inf | 8.00%
2764.71/2772.92 c 2773s| 10500 | 563 | 13889k| 986.6 | 356M | 31 |1800 | 10k|8273 |2959 | 0 | 16k| 30 | 0.000000e+00 | -- | Inf | 8.00%
2771.90/2780.19 c 2780s| 10600 | 563 | 13942k| 983.4 | 356M | 31 |1800 | 10k|8273 |2967 | 1 | 16k| 30 | 0.000000e+00 | -- | Inf | 8.00%
2779.07/2787.39 c 2787s| 10700 | 565 | 13995k| 980.2 | 356M | 31 |1800 | 10k|8274 |2977 | 0 | 16k| 30 | 0.000000e+00 | -- | Inf | 8.00%
2787.15/2795.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2787.15/2795.48 c 2795s| 10800 | 565 | 14052k| 977.3 | 356M | 31 |1800 | 10k|8272 |2983 | 0 | 16k| 30 | 0.000000e+00 | -- | Inf | 8.00%
2796.63/2804.99 c 2805s| 10900 | 559 | 14117k| 975.0 | 356M | 31 |1800 | 10k|8272 |2986 | 0 | 16k| 30 | 0.000000e+00 | -- | Inf | 8.01%
2804.71/2813.00 c 2813s| 11000 | 565 | 14173k| 972.1 | 356M | 31 |1800 | 10k|8273 |2991 | 1 | 16k| 30 | 0.000000e+00 | -- | Inf | 8.01%
2817.18/2825.54 c 2826s| 11100 | 577 | 14253k| 971.0 | 356M | 31 |1800 | 10k|8272 |2996 | 1 | 16k| 30 | 0.000000e+00 | -- | Inf | 8.01%
2823.56/2831.98 c 2832s| 11200 | 567 | 14300k| 967.6 | 356M | 31 |1800 | 10k|8271 |2999 | 0 | 16k| 30 | 0.000000e+00 | -- | Inf | 8.01%
2834.74/2843.18 c 2843s| 11300 | 567 | 14375k| 966.1 | 356M | 31 |1800 | 10k|8272 |3020 | 1 | 16k| 30 | 0.000000e+00 | -- | Inf | 8.02%
2842.52/2850.91 c 2851s| 11400 | 563 | 14431k| 963.4 | 356M | 31 |1800 | 10k|8272 |3020 | 1 | 16k| 30 | 0.000000e+00 | -- | Inf | 8.02%
2856.49/2864.91 c 2865s| 11500 | 583 | 14507k| 962.1 | 357M | 31 |1800 | 10k|8275 |3026 | 0 | 16k| 30 | 0.000000e+00 | -- | Inf | 8.02%
2861.98/2870.45 c 2870s| 11600 | 587 | 14547k| 958.3 | 357M | 31 |1800 | 10k|8275 |3028 | 1 | 16k| 30 | 0.000000e+00 | -- | Inf | 8.02%
2867.27/2875.74 c 2876s| 11700 | 579 | 14587k| 954.6 | 357M | 31 |1800 | 10k|8274 |3028 | 1 | 16k| 30 | 0.000000e+00 | -- | Inf | 8.02%
2875.95/2884.43 c 2884s| 11800 | 597 | 14648k| 952.4 | 357M | 31 |1800 | 10k|8274 |3035 | 1 | 16k| 30 | 0.000000e+00 | -- | Inf | 8.02%
2883.33/2891.80 c 2892s| 11900 | 599 | 14700k| 949.6 | 357M | 31 |1800 | 10k|8275 |3038 | 1 | 16k| 30 | 0.000000e+00 | -- | Inf | 8.03%
2890.31/2898.87 c 2899s| 12000 | 596 | 14750k| 946.7 | 357M | 31 |1800 | 10k|8274 |3047 | 1 | 16k| 30 | 0.000000e+00 | -- | Inf | 8.03%
2900.29/2908.84 c 2909s| 12100 | 594 | 14819k| 945.0 | 357M | 31 |1800 | 10k|8274 |3051 | 0 | 16k| 30 | 0.000000e+00 | -- | Inf | 8.03%
2910.66/2919.23 c 2919s| 12200 | 608 | 14887k| 943.4 | 357M | 31 |1800 | 10k|8275 |3054 | 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 8.03%
2917.74/2926.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2917.74/2926.35 c 2926s| 12300 | 602 | 14938k| 940.6 | 357M | 31 |1800 | 10k|8275 |3057 | 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 8.03%
2927.62/2936.28 c 2936s| 12400 | 600 | 15006k| 939.0 | 358M | 31 |1800 | 10k|8276 |3064 | 2 | 17k| 30 | 0.000000e+00 | -- | Inf | 8.03%
2937.60/2946.28 c 2946s| 12500 | 596 | 15072k| 937.3 | 358M | 31 |1800 | 10k|8275 |3068 | 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 8.04%
2947.38/2956.08 c 2956s| 12600 | 598 | 15139k| 935.6 | 358M | 31 |1800 | 10k|8275 |3069 | 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 8.04%
2959.04/2967.77 c 2968s| 12700 | 614 | 15213k| 934.4 | 358M | 31 |1800 | 10k|8275 |3086 | 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 8.08%
2966.82/2975.57 c 2976s| 12800 | 620 | 15268k| 932.0 | 358M | 31 |1800 | 10k|8275 |3088 | 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 8.08%
2972.50/2981.28 c 2981s| 12900 | 622 | 15310k| 928.9 | 358M | 31 |1800 | 10k|8275 |3088 | 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 8.08%
2976.79/2985.56 c 2986s| 13000 | 618 | 15344k| 925.3 | 358M | 31 |1800 | 10k|8275 |3088 | 0 | 17k| 30 | 0.000000e+00 | -- | Inf | 8.08%
2984.08/2992.82 c 2993s| 13100 | 612 | 15396k| 922.9 | 358M | 31 |1800 | 10k|8275 |3088 | 0 | 17k| 30 | 0.000000e+00 | -- | Inf | 8.08%
2991.56/3000.32 c 3000s| 13200 | 618 | 15449k| 920.6 | 358M | 31 |1800 | 10k|8276 |3095 | 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 8.08%
3001.34/3010.15 c 3010s| 13300 | 620 | 15511k| 918.8 | 358M | 31 |1800 | 10k|8276 |3097 | 0 | 17k| 30 | 0.000000e+00 | -- | Inf | 8.08%
3009.61/3018.49 c 3018s| 13400 | 618 | 15571k| 916.9 | 358M | 31 |1800 | 10k|8276 |3099 | 2 | 17k| 30 | 0.000000e+00 | -- | Inf | 8.08%
3018.49/3027.30 c 3027s| 13500 | 618 | 15631k| 915.0 | 358M | 31 |1800 | 10k|8274 |3102 | 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 8.08%
3050.03/3058.98 c 3059s| 13600 | 634 | 15786k| 918.7 | 358M | 31 |1800 | 10k|8274 |3170 | 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 8.22%
3057.81/3066.75 c 3067s| 13700 | 640 | 15841k| 916.6 | 358M | 31 |1800 | 10k|8275 |3176 | 0 | 17k| 30 | 0.000000e+00 | -- | Inf | 8.22%
3064.20/3073.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3064.20/3073.15 c 3073s| 13800 | 656 | 15887k| 913.9 | 358M | 31 |1800 | 10k|8275 |3178 | 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 8.22%
3069.88/3078.82 c 3079s| 13900 | 643 | 15928k| 911.1 | 358M | 31 |1800 | 10k|8275 |3178 | 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 8.22%
3077.66/3086.69 c 3087s| 14000 | 647 | 15984k| 909.0 | 358M | 31 |1800 | 10k|8276 |3186 | 0 | 17k| 30 | 0.000000e+00 | -- | Inf | 8.22%
3085.24/3094.27 c 3094s| 14100 | 635 | 16037k| 906.9 | 358M | 31 |1800 | 10k|8275 |3189 | 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 8.23%
3109.58/3118.62 c 3119s| 14200 | 651 | 16157k| 908.5 | 358M | 31 |1800 | 10k|8275 |3234 | 0 | 17k| 30 | 0.000000e+00 | -- | Inf | 8.24%
3117.15/3126.21 c 3126s| 14300 | 656 | 16208k| 906.3 | 358M | 31 |1800 | 10k|8274 |3241 | 0 | 18k| 30 | 0.000000e+00 | -- | Inf | 8.24%
3133.20/3142.39 c 3142s| 14400 | 665 | 16301k| 906.4 | 358M | 31 |1800 | 10k|8267 |3252 | 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 8.46%
3143.07/3152.29 c 3152s| 14500 | 679 | 16366k| 905.0 | 359M | 31 |1800 | 10k|8271 |3271 | 2 | 18k| 30 | 0.000000e+00 | -- | Inf | 8.46%
3148.86/3158.01 c 3158s| 14600 | 683 | 16408k| 902.3 | 359M | 31 |1800 | 10k|8273 |3283 | 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 8.46%
3154.43/3163.67 c 3164s| 14700 | 681 | 16450k| 899.7 | 359M | 31 |1800 | 10k|8271 |3292 | 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 8.46%
3162.61/3171.86 c 3172s| 14800 | 677 | 16508k| 898.0 | 359M | 31 |1800 | 10k|8271 |3318 | 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 8.46%
3172.58/3181.84 c 3182s| 14900 | 671 | 16577k| 896.8 | 359M | 31 |1800 | 10k|8272 |3333 | 0 | 18k| 30 | 0.000000e+00 | -- | Inf | 8.46%
3181.95/3191.21 c 3191s| 15000 | 673 | 16640k| 895.4 | 359M | 31 |1800 | 10k|8271 |3357 | 2 | 18k| 30 | 0.000000e+00 | -- | Inf | 8.46%
3193.42/3202.76 c 3203s| 15100 | 683 | 16711k| 894.4 | 359M | 31 |1800 | 10k|8267 |3373 | 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 8.46%
3202.39/3211.77 c 3212s| 15200 | 681 | 16773k| 892.9 | 359M | 31 |1800 | 10k|8271 |3384 | 0 | 18k| 30 | 0.000000e+00 | -- | Inf | 8.47%
3209.67/3219.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3209.67/3219.00 c 3219s| 15300 | 683 | 16824k| 890.9 | 359M | 31 |1800 | 10k|8271 |3409 | 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 8.47%
3219.34/3228.71 c 3229s| 15400 | 683 | 16890k| 889.6 | 359M | 31 |1800 | 10k|8271 |3440 | 0 | 18k| 30 | 0.000000e+00 | -- | Inf | 8.47%
3230.61/3240.04 c 3240s| 15500 | 683 | 16964k| 888.9 | 359M | 31 |1800 | 10k|8270 |3457 | 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 8.47%
3250.34/3259.84 c 3260s| 15600 | 689 | 17074k| 889.9 | 359M | 31 |1800 | 10k|8275 |3476 | 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 8.73%
3280.55/3290.18 c 3290s| 15700 | 710 | 17224k| 893.1 | 359M | 31 |1800 | 10k|8266 |3616 | 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 8.87%
3291.81/3301.47 c 3301s| 15800 | 736 | 17296k| 892.2 | 360M | 31 |1800 | 10k|8269 |3645 | 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 8.88%
3301.18/3310.86 c 3311s| 15900 | 738 | 17358k| 890.8 | 360M | 31 |1800 | 10k|8266 |3652 | 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 8.88%
3309.26/3318.95 c 3319s| 16000 | 748 | 17414k| 889.1 | 360M | 31 |1800 | 10k|8269 |3670 | 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 8.88%
3314.05/3323.71 c 3324s| 16100 | 748 | 17450k| 886.4 | 360M | 31 |1800 | 10k|8270 |3681 | 0 | 19k| 30 | 0.000000e+00 | -- | Inf | 8.88%
3317.84/3327.57 c 3328s| 16200 | 748 | 17480k| 883.5 | 360M | 31 |1800 | 10k|8270 |3685 | 0 | 19k| 30 | 0.000000e+00 | -- | Inf | 8.88%
3326.02/3335.79 c 3336s| 16300 | 744 | 17539k| 882.0 | 360M | 31 |1800 | 10k|8269 |3703 | 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 8.88%
3336.41/3346.18 c 3346s| 16400 | 758 | 17608k| 881.0 | 360M | 31 |1800 | 10k|8271 |3720 | 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 8.89%
3344.88/3354.64 c 3355s| 16500 | 758 | 17668k| 879.6 | 360M | 31 |1800 | 10k|8270 |3742 | 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 8.89%
3357.66/3367.40 c 3367s| 16600 | 766 | 17745k| 879.1 | 360M | 31 |1800 | 10k|8269 |3762 | 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 8.89%
3363.74/3373.58 c 3374s| 16700 | 770 | 17791k| 877.0 | 360M | 31 |1800 | 10k|8268 |3776 | 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 8.89%
3373.42/3383.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3373.42/3383.28 c 3383s| 16800 | 774 | 17854k| 875.8 | 360M | 31 |1800 | 10k|8270 |3794 | 2 | 19k| 30 | 0.000000e+00 | -- | Inf | 8.89%
3383.00/3392.88 c 3393s| 16900 | 770 | 17917k| 874.6 | 360M | 31 |1800 | 10k|8269 |3804 | 0 | 19k| 30 | 0.000000e+00 | -- | Inf | 8.89%
3393.37/3403.23 c 3403s| 17000 | 768 | 17985k| 873.6 | 360M | 31 |1800 | 10k|8266 |3813 | 0 | 19k| 30 | 0.000000e+00 | -- | Inf | 8.90%
3406.94/3416.89 c 3417s| 17100 | 784 | 18070k| 873.5 | 360M | 31 |1800 | 10k|8267 |3827 | 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 8.90%
3414.33/3424.27 c 3424s| 17200 | 784 | 18121k| 871.8 | 360M | 31 |1800 | 11k|8267 |3841 | 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 8.90%
3426.40/3436.33 c 3436s| 17300 | 768 | 18198k| 871.3 | 360M | 31 |1800 | 11k|8267 |3859 | 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 8.91%
3440.57/3450.54 c 3451s| 17400 | 774 | 18284k| 871.2 | 360M | 31 |1800 | 11k|8271 |3896 | 2 | 19k| 30 | 0.000000e+00 | -- | Inf | 8.92%
3460.62/3470.63 c 3471s| 17500 | 786 | 18388k| 872.0 | 360M | 31 |1800 | 11k|8270 |3905 | 0 | 20k| 30 | 0.000000e+00 | -- | Inf | 8.93%
3469.80/3479.87 c 3480s| 17600 | 793 | 18450k| 870.8 | 360M | 31 |1800 | 11k|8270 |3911 | 1 | 20k| 30 | 0.000000e+00 | -- | Inf | 8.93%
3480.38/3490.46 c 3490s| 17700 | 791 | 18521k| 870.1 | 361M | 31 |1800 | 11k|8269 |3916 | 0 | 20k| 30 | 0.000000e+00 | -- | Inf | 8.93%
3493.75/3503.84 c 3504s| 17800 | 791 | 18604k| 869.9 | 361M | 31 |1800 | 11k|8271 |3924 | 1 | 20k| 30 | 0.000000e+00 | -- | Inf | 8.94%
3499.94/3510.02 c 3510s| 17900 | 801 | 18647k| 867.8 | 362M | 31 |1800 | 11k|8273 |3932 | 1 | 20k| 30 | 0.000000e+00 | -- | Inf | 8.94%
3509.02/3519.12 c 3519s| 18000 | 801 | 18708k| 866.6 | 362M | 31 |1800 | 11k|8271 |3936 | 1 | 20k| 30 | 0.000000e+00 | -- | Inf | 8.94%
3519.79/3529.99 c 3530s| 18100 | 809 | 18777k| 865.8 | 362M | 31 |1800 | 11k|8273 |3949 | 0 | 20k| 30 | 0.000000e+00 | -- | Inf | 8.95%
3526.48/3536.68 c 3537s| 18200 | 805 | 18824k| 864.0 | 362M | 31 |1800 | 11k|8271 |3955 | 0 | 20k| 30 | 0.000000e+00 | -- | Inf | 8.95%
3534.87/3545.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3534.87/3545.06 c 3545s| 18300 | 805 | 18883k| 862.7 | 362M | 31 |1800 | 11k|8272 |3959 | 1 | 20k| 30 | 0.000000e+00 | -- | Inf | 8.95%
3540.55/3550.79 c 3551s| 18400 | 819 | 18925k| 860.7 | 362M | 31 |1800 | 11k|8273 |3960 | 1 | 20k| 30 | 0.000000e+00 | -- | Inf | 8.95%
3544.54/3554.71 c 3555s| 18500 | 818 | 18954k| 858.1 | 362M | 31 |1800 | 11k|8272 |3961 | 0 | 20k| 30 | 0.000000e+00 | -- | Inf | 8.95%
3551.02/3561.22 c 3561s| 18600 | 806 | 19002k| 856.4 | 362M | 31 |1800 | 11k|8273 |3962 | 1 | 20k| 30 | 0.000000e+00 | -- | Inf | 8.95%
3561.80/3572.06 c 3572s| 18700 | 814 | 19071k| 855.7 | 362M | 31 |1800 | 11k|8273 |3967 | 0 | 20k| 30 | 0.000000e+00 | -- | Inf | 8.95%
3569.78/3580.06 c 3580s| 18800 | 802 | 19125k| 854.2 | 362M | 31 |1800 | 11k|8272 |3972 | 0 | 20k| 30 | 0.000000e+00 | -- | Inf | 8.95%
3582.85/3593.12 c 3593s| 18900 | 812 | 19206k| 854.1 | 362M | 31 |1800 | 11k|8273 |4000 | 2 | 20k| 30 | 0.000000e+00 | -- | Inf | 8.96%
3586.64/3597.00 c
3586.64/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.64/3597.00 c Solving Time (sec) : 3597.00
3586.64/3597.00 c Solving Nodes : 18917 (total of 22428 nodes in 2 runs)
3586.64/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.64/3597.00 c Dual Bound : +0.00000000000000e+00
3586.64/3597.00 c Gap : infinite
3586.64/3597.00 s UNKNOWN
3586.64/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.64/3597.00 c Total Time : 3597.00
3586.64/3597.00 c solving : 3597.00
3586.64/3597.00 c presolving : 1.32 (included in solving)
3586.64/3597.00 c reading : 0.02 (included in solving)
3586.64/3597.00 c copying : 1.68 (105 #copies) (minimal 0.01, maximal 0.02, average 0.02)
3586.64/3597.00 c Original Problem :
3586.64/3597.00 c Problem name : HOME/instance-4514385-1751223123.opb
3586.64/3597.00 c Variables : 1806 (1806 binary, 0 integer, 0 continuous)
3586.64/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.64/3597.00 c Constraints : 8614 initial, 8614 maximal
3586.64/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.64/3597.00 c Presolved Problem :
3586.64/3597.00 c Problem name : t_HOME/instance-4514385-1751223123.opb
3586.64/3597.00 c Variables : 1800 (1800 binary, 0 integer, 0 continuous)
3586.64/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.64/3597.00 c Constraints : 12041 initial, 12113 maximal
3586.64/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.64/3597.00 c Nonzeros : 279143 constraint, 6898 clique table
3586.64/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.64/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c domcol : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c dualsparsify : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c gateextraction : 0.04 0.00 6 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c implics : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c milp : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c sparsify : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c trivial : 0.00 0.00 11 1 0 0 0 0 0 0 0 0
3586.64/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c dualfix : 0.00 0.00 11 1 0 0 0 0 0 0 0 0
3586.64/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c probing : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c symmetry : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c knapsack : 0.01 0.00 16 0 0 0 0 0 0 0 3 321
3586.64/3597.00 c setppc : 0.02 0.00 19 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c linear : 0.05 0.01 18 4 0 0 4 0 399 0 4 0
3586.64/3597.00 c logicor : 0.90 0.06 18 0 0 0 0 0 116 0 0 2275
3586.64/3597.00 c components : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c root node : - - - 0 - - 0 - - - - -
3586.64/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.64/3597.00 c integral : 0 0 0 0 12314 0 0 2143 0 0 0 0 0 0 24628
3586.64/3597.00 c knapsack : 61+ 84 11 78173 0 0 0 0 240796 25 50504 0 0 0 0
3586.64/3597.00 c setppc : 3440+ 3442 22 81186 0 0 0 2138 1836479 27 564112 0 0 0 0
3586.64/3597.00 c linear : 65+ 72 23 81120 0 0 0 6 9567 756 710 0 0 0 0
3586.64/3597.00 c logicor : 8475+ 8547 22 37805 0 0 0 0 14220 710 963 22 4 0 0
3586.64/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.64/3597.00 c integral : 11.78 0.00 0.00 0.00 11.78 0.00 0.00 0.00 0.00 0.00
3586.64/3597.00 c knapsack : 2.09 0.00 0.03 1.99 0.00 0.00 0.00 0.00 0.06 0.01
3586.64/3597.00 c setppc : 5.48 0.00 0.01 5.01 0.00 0.00 0.00 0.02 0.43 0.01
3586.64/3597.00 c linear : 0.86 0.01 0.00 0.84 0.00 0.00 0.00 0.00 0.01 0.00
3586.64/3597.00 c logicor : 2.42 0.06 0.04 2.31 0.00 0.00 0.00 0.00 0.01 0.01
3586.64/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.64/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.64/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.64/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.64/3597.00 c dualfix : 2 0 0 0
3586.64/3597.00 c genvbounds : 0 0 0 0
3586.64/3597.00 c nlobbt : 0 0 0 0
3586.64/3597.00 c obbt : 0 0 0 0
3586.64/3597.00 c probing : 0 0 0 0
3586.64/3597.00 c pseudoobj : 0 0 0 0
3586.64/3597.00 c redcost : 0 0 0 0
3586.64/3597.00 c rootredcost : 0 0 0 0
3586.64/3597.00 c symmetry : 7 0 0 1
3586.64/3597.00 c vbounds : 23403 0 0 0
3586.64/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.64/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.64/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.64/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.64/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.64/3597.00 c probing : 0.03 0.00 0.03 0.00 0.00 0.00
3586.64/3597.00 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3586.64/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3586.64/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3586.64/3597.00 c symmetry : 0.13 0.00 0.06 0.07 0.00 0.00
3586.64/3597.00 c vbounds : 0.04 0.00 0.00 0.04 0.00 0.00
3586.64/3597.00 c Symmetry :
3586.64/3597.00 c #affected vars : 1720 (1720 bin, 0 int, 0 cont)
3586.64/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.64/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.64/3597.00 c lexicographic red: 1 reductions applied, 0 cutoffs
3586.64/3597.00 c shadow tree time : 0.04 s
3586.64/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.64/3597.00 c propagation : 0.05 783 759 - 5304 44.9 4 18.5 - - -
3586.64/3597.00 c infeasible LP : 6.49 10827 7706 - 20504 159.9 11 102.1 7323 198.6 0
3586.64/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.64/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.64/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.64/3597.00 c applied globally : 0.21 - - 0 13534 67.4 - - 6821 - -
3586.64/3597.00 c applied locally : - - - 0 12 159.8 - - 502 - -
3586.64/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.64/3597.00 c cut pool : 4.57 - 3467 42 - - 29731 55467 - - - - - (maximal pool size: 3687)
3586.64/3597.00 c aggregation : 1.71 0.00 824 22 0 0 1 170 0 67 67 0 0
3586.64/3597.00 c > cmir : - - - - - - - 170 0 67 67 0 -
3586.64/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.64/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.64/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c clique : 0.12 0.00 22 22 0 0 2 5 0 5 5 0 0
3586.64/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c gomory : 21.40 0.00 822 20 0 0 42873 35544 13406 931 871 60 0
3586.64/3597.00 c > gomorymi : - - - - - - - 17039 6736 157 104 53 -
3586.64/3597.00 c > strongcg : - - - - - - - 18505 6670 774 767 7 -
3586.64/3597.00 c impliedbounds : 0.12 0.00 824 22 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c multilinear : 0.00 0.00 426 22 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c rapidlearning : 31.93 0.00 100 1 0 24203 0 0 0 0 0 0 810
3586.64/3597.00 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3586.64/3597.00 c zerohalf : 15.73 0.00 824 22 0 0 4972 19748 4711 12597 8327 4270 0
3586.64/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.64/3597.00 c hybrid : 0.54 0.00 1734 22 13606 0 59918 155 0 3725
3586.64/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.64/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.64/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3586.64/3597.00 c problem variables: 0.00 - 0 0
3586.64/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.64/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.64/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.64/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.64/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.64/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.64/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.64/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.64/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.64/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.64/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.64/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.64/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.64/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.64/3597.00 c relpscost : 11.76 0.00 12314 0 0 0 0 0 0 24628
3586.64/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.64/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.64/3597.00 c LP solutions : 0.00 - - 0 0
3586.64/3597.00 c relax solutions : 0.00 - - 0 0
3586.64/3597.00 c pseudo solutions : 0.00 - - 0 0
3586.64/3597.00 c strong branching : 0.00 - - 0 0
3586.64/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3586.64/3597.00 c adaptivediving : 22.35 0.00 18 0 0
3586.64/3597.00 c alns : 8.84 0.00 5 0 0
3586.64/3597.00 c bound : 0.00 0.00 0 0 0
3586.64/3597.00 c clique : 0.03 0.00 1 0 0
3586.64/3597.00 c coefdiving : 0.00 0.00 0 0 0
3586.64/3597.00 c completesol : 0.00 0.00 0 0 0
3586.64/3597.00 c conflictdiving : 140.97 0.00 176 0 0
3586.64/3597.00 c crossover : 0.01 0.00 0 0 0
3586.64/3597.00 c dins : 0.00 0.00 0 0 0
3586.64/3597.00 c distributiondivin: 64.93 0.00 65 0 0
3586.64/3597.00 c dks : 0.00 0.00 0 0 0
3586.64/3597.00 c dps : 0.00 0.00 0 0 0
3586.64/3597.00 c dualval : 0.00 0.00 0 0 0
3586.64/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3586.64/3597.00 c feaspump : 75.06 0.00 12 0 0
3586.64/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3586.64/3597.00 c fracdiving : 64.69 0.00 66 0 0
3586.64/3597.00 c gins : 0.01 0.00 0 0 0
3586.64/3597.00 c guideddiving : 0.00 0.00 0 0 0
3586.64/3597.00 c indicator : 0.00 0.00 0 0 0
3586.64/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3586.64/3597.00 c intdiving : 0.00 0.00 0 0 0
3586.64/3597.00 c intshifting : 0.00 0.00 0 0 0
3586.64/3597.00 c linesearchdiving : 61.19 0.00 65 0 0
3586.64/3597.00 c localbranching : 0.00 0.00 0 0 0
3586.64/3597.00 c locks : 0.01 0.00 1 0 0
3586.64/3597.00 c lpface : 0.01 0.00 0 0 0
3586.64/3597.00 c mpec : 0.00 0.00 0 0 0
3586.64/3597.00 c multistart : 0.00 0.00 0 0 0
3586.64/3597.00 c mutation : 0.00 0.00 0 0 0
3586.64/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3586.64/3597.00 c objpscostdiving : 101.33 0.00 18 0 0
3586.64/3597.00 c octane : 0.00 0.00 0 0 0
3586.64/3597.00 c ofins : 0.00 0.00 0 0 0
3586.64/3597.00 c oneopt : 0.01 0.00 0 0 0
3586.64/3597.00 c padm : 0.00 0.00 0 0 0
3586.64/3597.00 c proximity : 0.00 0.00 0 0 0
3586.64/3597.00 c pscostdiving : 68.15 0.00 66 0 0
3586.64/3597.00 c randrounding : 0.42 0.00 2153 0 0
3586.64/3597.00 c rens : 0.00 0.00 0 0 0
3586.64/3597.00 c reoptsols : 0.00 0.00 0 0 0
3586.64/3597.00 c repair : 0.00 0.00 0 0 0
3586.64/3597.00 c rins : 0.01 0.00 0 0 0
3586.64/3597.00 c rootsoldiving : 31.17 0.00 33 0 0
3586.64/3597.00 c rounding : 0.69 0.00 1674 0 0
3586.64/3597.00 c scheduler : 0.00 0.00 0 0 0
3586.64/3597.00 c shiftandpropagate: 0.15 0.00 2 0 0
3586.64/3597.00 c shifting : 1.66 0.00 781 0 0
3586.64/3597.00 c simplerounding : 0.01 0.00 0 0 0
3586.64/3597.00 c subnlp : 0.00 0.00 0 0 0
3586.64/3597.00 c trivial : 0.00 0.00 4 0 0
3586.64/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3586.64/3597.00 c trustregion : 0.00 0.00 0 0 0
3586.64/3597.00 c trysol : 0.00 0.00 0 0 0
3586.64/3597.00 c twoopt : 0.00 0.00 0 0 0
3586.64/3597.00 c undercover : 0.00 0.00 0 0 0
3586.64/3597.00 c vbounds : 0.06 0.00 2 0 0
3586.64/3597.00 c veclendiving : 50.34 0.00 66 0 0
3586.64/3597.00 c zeroobj : 0.00 0.00 0 0 0
3586.64/3597.00 c zirounding : 0.37 0.00 1000 0 0
3586.64/3597.00 c other solutions : - - - 0 -
3586.64/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.64/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.64/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.64/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.64/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.64/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.64/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.64/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.64/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.64/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.64/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.64/3597.00 c primal LP : 1.27 713 0 0.00 0.00 1.27 713
3586.64/3597.00 c dual LP : 2772.50 24183 16575593 685.62 5978.57 0.01 7
3586.64/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3586.64/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.64/3597.00 c resolve instable : 0.00 0 0 0.00 -
3586.64/3597.00 c diving/probing LP: 660.49 3405 2650482 778.41 4012.89
3586.64/3597.00 c strong branching : 8.70 30 30000 1000.00 3446.86 - - 60
3586.64/3597.00 c (at root node) : - 30 30000 1000.00 -
3586.64/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3586.64/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3586.64/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3586.64/3597.00 c B&B Tree :
3586.64/3597.00 c number of runs : 2
3586.64/3597.00 c nodes : 18917 (9880 internal, 9037 leaves)
3586.64/3597.00 c feasible leaves : 0
3586.64/3597.00 c infeas. leaves : 9036
3586.64/3597.00 c objective leaves : 0
3586.64/3597.00 c nodes (total) : 22428 (12314 internal, 10114 leaves)
3586.64/3597.00 c nodes left : 814
3586.64/3597.00 c max depth : 31
3586.64/3597.00 c max depth (total): 31
3586.64/3597.00 c backtracks : 5189 (27.4%)
3586.64/3597.00 c early backtracks : 0 (0.0%)
3586.64/3597.00 c nodes exc. ref. : 0 (0.0%)
3586.64/3597.00 c delayed cutoffs : 31
3586.64/3597.00 c repropagations : 436 (8750 domain reductions, 22 cutoffs)
3586.64/3597.00 c avg switch length: 2.93
3586.64/3597.00 c switching time : 7.77
3586.64/3597.00 c Root Node :
3586.64/3597.00 c First LP value : +0.00000000000000e+00
3586.64/3597.00 c First LP Iters : 2583 (8076.52 Iter/sec)
3586.64/3597.00 c First LP Time : 0.32
3586.64/3597.00 c Final Dual Bound : +0.00000000000000e+00
3586.64/3597.00 c Final Root Iters : 67243
3586.64/3597.00 c Root LP Estimate : +5.59426598810371e-02
3586.64/3597.00 c Solution :
3586.64/3597.00 c Solutions found : 0 (0 improvements)
3586.64/3597.00 c Primal Bound : -
3586.64/3597.00 c Dual Bound : +0.00000000000000e+00
3586.64/3597.00 c Gap : infinite
3586.64/3597.00 c Integrals : Total Avg%
3586.64/3597.00 c primal-dual : 359699.83 100.00
3586.64/3597.00 c primal-ref : - - (not evaluated)
3586.64/3597.00 c dual-ref : - - (not evaluated)
3586.74/3597.05 c Time complete (sec): 3586.803
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62465 MiB free)
memory of node 1: 64465 MiB (63166 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514385-1751223123/watcher-4514385-1751223123 -o /tmp/evaluation-result-4514385-1751223123/solver-4514385-1751223123 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751215068-28668 --watchdog 3760 pbsolver -f HOME/instance-4514385-1751223123.opb -t 3600 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=29670, runsolver pid=29667
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.12 4.12 4.09 5/265 29671
/proc/meminfo: memFree=128611588/131249996 swapFree=33010684/33010684
[pid=29670] ppid=29667 vsize=60140 memory=50716 CPUtime=0.09 cores=0,2
/proc/29670/stat : 29670 (pbsolver) R 29667 29670 28655 0 -1 4194304 11939 0 0 0 8 1 0 0 20 0 1 0 37989759 61583360 12679 18446744073709551615 4198400 14743177 140734190537312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 32505856 140734190541194 140734190541290 140734190541290 140734190546892 0
/proc/29670/statm: 15035 12679 2496 2575 0 11942 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 60140 KiB
Current children cumulated memory: 50716 KiB
[startup+0.205616 s]*
/proc/loadavg: 4.12 4.12 4.09 5/265 29671
/proc/meminfo: memFree=128609824/131249996 swapFree=33010684/33010684
[pid=29670] ppid=29667 vsize=61012 memory=51888 CPUtime=0.2 cores=0,2
/proc/29670/stat : 29670 (pbsolver) R 29667 29670 28655 0 -1 4194304 13883 0 0 0 19 1 0 0 20 0 1 0 37989759 62476288 12972 18446744073709551615 4198400 14743177 140734190537312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 32505856 140734190541194 140734190541290 140734190541290 140734190546892 0
/proc/29670/statm: 15253 12972 2528 2575 0 12160 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 61012 KiB
Current children cumulated memory: 51888 KiB
[startup+0.305426 s]*
/proc/loadavg: 4.12 4.12 4.09 5/265 29671
/proc/meminfo: memFree=128600500/131249996 swapFree=33010684/33010684
[pid=29670] ppid=29667 vsize=78444 memory=64644 CPUtime=0.3 cores=0,2
/proc/29670/stat : 29670 (pbsolver) R 29667 29670 28655 0 -1 4194304 16675 0 0 0 28 2 0 0 20 0 1 0 37989759 80326656 16161 18446744073709551615 4198400 14743177 140734190537312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 32505856 140734190541194 140734190541290 140734190541290 140734190546892 0
/proc/29670/statm: 19611 16161 2560 2575 0 16518 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 78444 KiB
Current children cumulated memory: 64644 KiB
[startup+0.700188 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 29671
/proc/meminfo: memFree=128568244/131249996 swapFree=33010684/33010684
[pid=29670] ppid=29667 vsize=107364 memory=93700 CPUtime=0.69 cores=0,2
/proc/29670/stat : 29670 (pbsolver) R 29667 29670 28655 0 -1 4194304 23908 0 0 0 66 3 0 0 20 0 1 0 37989759 109940736 23425 18446744073709551615 4198400 14743177 140734190537312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 32505856 140734190541194 140734190541290 140734190541290 140734190546892 0
/proc/29670/statm: 26841 23425 2656 2575 0 23748 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 107364 KiB
Current children cumulated memory: 93700 KiB
[startup+1.50018 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 29671
/proc/meminfo: memFree=128568244/131249996 swapFree=33010684/33010684
[pid=29670] ppid=29667 vsize=112684 memory=98052 CPUtime=1.48 cores=0,2
/proc/29670/stat : 29670 (pbsolver) R 29667 29670 28655 0 -1 4194304 25006 0 0 0 145 3 0 0 20 0 1 0 37989759 115388416 24513 18446744073709551615 4198400 14743177 140734190537312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 32505856 140734190541194 140734190541290 140734190541290 140734190546892 0
/proc/29670/statm: 28171 24513 2656 2575 0 25078 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 112684 KiB
Current children cumulated memory: 98052 KiB
[startup+3.10542 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 29671
/proc/meminfo: memFree=128560432/131249996 swapFree=33010684/33010684
[pid=29670] ppid=29667 vsize=112684 memory=98692 CPUtime=3.09 cores=0,2
/proc/29670/stat : 29670 (pbsolver) R 29667 29670 28655 0 -1 4194304 25180 0 0 0 305 4 0 0 20 0 1 0 37989759 115388416 24673 18446744073709551615 4198400 14743177 140734190537312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 32505856 140734190541194 140734190541290 140734190541290 140734190546892 0
/proc/29670/statm: 28171 24673 2656 2575 0 25078 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 112684 KiB
Current children cumulated memory: 98692 KiB
[startup+6.30017 s]
/proc/loadavg: 4.19 4.14 4.10 5/265 29671
/proc/meminfo: memFree=128560468/131249996 swapFree=33010684/33010684
[pid=29670] ppid=29667 vsize=118392 memory=104156 CPUtime=6.27 cores=0,2
/proc/29670/stat : 29670 (pbsolver) R 29667 29670 28655 0 -1 4194304 26038 0 0 0 623 4 0 0 20 0 1 0 37989759 121233408 26039 18446744073709551615 4198400 14743177 140734190537312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 32505856 140734190541194 140734190541290 140734190541290 140734190546892 0
/proc/29670/statm: 29598 26039 2656 2575 0 26505 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 118392 KiB
Current children cumulated memory: 104156 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.13 4.10 5/265 29671
/proc/meminfo: memFree=128484268/131249996 swapFree=33010684/33010684
[pid=29670] ppid=29667 vsize=188640 memory=172432 CPUtime=12.65 cores=0,2
/proc/29670/stat : 29670 (pbsolver) R 29667 29670 28655 0 -1 4194304 45135 0 0 0 1258 7 0 0 20 0 1 0 37989759 193167360 43108 18446744073709551615 4198400 14743177 140734190537312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 32505856 140734190541194 140734190541290 140734190541290 140734190546892 0
/proc/29670/statm: 47160 43108 2688 2575 0 44067 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 188640 KiB
Current children cumulated memory: 172432 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.13 4.09 5/265 29671
/proc/meminfo: memFree=128429748/131249996 swapFree=33010684/33010684
[pid=29670] ppid=29667 vsize=253624 memory=230836 CPUtime=25.41 cores=0,2
/proc/29670/stat : 29670 (pbsolver) R 29667 29670 28655 0 -1 4194304 62972 0 0 0 2531 10 0 0 20 0 1 0 37989759 259710976 57709 18446744073709551615 4198400 14743177 140734190537312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 32505856 140734190541194 140734190541290 140734190541290 140734190546892 0
/proc/29670/statm: 63406 57709 2688 2575 0 60313 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 253624 KiB
Current children cumulated memory: 230836 KiB
[startup+51.1057 s]
/proc/loadavg: 4.16 4.13 4.09 5/265 29671
/proc/meminfo: memFree=128428656/131249996 swapFree=33010684/33010684
[pid=29670] ppid=29667 vsize=253624 memory=231604 CPUtime=50.95 cores=0,2
/proc/29670/stat : 29670 (pbsolver) R 29667 29670 28655 0 -1 4194304 63160 0 0 0 5085 10 0 0 20 0 1 0 37989759 259710976 57901 18446744073709551615 4198400 14743177 140734190537312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 32505856 140734190541194 140734190541290 140734190541290 140734190546892 0
/proc/29670/statm: 63406 57901 2688 2575 0 60313 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 253624 KiB
Current children cumulated memory: 231604 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 29673
/proc/meminfo: memFree=128373068/131249996 swapFree=33010684/33010684
[pid=29670] ppid=29667 vsize=274276 memory=253680 CPUtime=102 cores=0,2
/proc/29670/stat : 29670 (pbsolver) R 29667 29670 28655 0 -1 4194304 72610 0 0 0 10188 12 0 0 20 0 1 0 37989759 280858624 63420 18446744073709551615 4198400 14743177 140734190537312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 32505856 140734190541194 140734190541290 140734190541290 140734190546892 0
/proc/29670/statm: 68569 63420 2688 2575 0 65476 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 274276 KiB
Current children cumulated memory: 253680 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 29677
/proc/meminfo: memFree=128335672/131249996 swapFree=33010684/33010684
[pid=29670] ppid=29667 vsize=290384 memory=270368 CPUtime=161.83 cores=0,2
/proc/29670/stat : 29670 (pbsolver) R 29667 29670 28655 0 -1 4194304 79690 0 0 0 16169 14 0 0 20 0 1 0 37989759 297353216 67592 18446744073709551615 4198400 14743177 140734190537312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 32505856 140734190541194 140734190541290 140734190541290 140734190546892 0
/proc/29670/statm: 72596 67592 2688 2575 0 69503 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 290384 KiB
Current children cumulated memory: 270368 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/262 29679
/proc/meminfo: memFree=128334520/131249996 swapFree=33010684/33010684
[pid=29670] ppid=29667 vsize=287412 memory=266532 CPUtime=221.65 cores=0,2
/proc/29670/stat : 29670 (pbsolver) R 29667 29670 28655 0 -1 4194304 81201 0 0 0 22151 14 0 0 20 0 1 0 37989759 294309888 66633 18446744073709551615 4198400 14743177 140734190537312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 32505856 140734190541194 140734190541290 140734190541290 140734190546892 0
/proc/29670/statm: 71853 66633 2688 2575 0 68760 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 287412 KiB
Current children cumulated memory: 266532 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 29684
/proc/meminfo: memFree=128268508/131249996 swapFree=33010684/33010684
[pid=29670] ppid=29667 vsize=313756 memory=297764 CPUtime=281.47 cores=0,2
/proc/29670/stat : 29670 (pbsolver) R 29667 29670 28655 0 -1 4194304 90530 0 0 0 28132 15 0 0 20 0 1 0 37989759 321286144 74441 18446744073709551615 4198400 14743177 140734190537312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 32505856 140734190541194 140734190541290 140734190541290 140734190546892 0
/proc/29670/statm: 78439 74441 2688 2575 0 75346 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 313756 KiB
Current children cumulated memory: 297764 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 29686
/proc/meminfo: memFree=128234452/131249996 swapFree=33010684/33010684
[pid=29670] ppid=29667 vsize=314780 memory=304420 CPUtime=341.29 cores=0,2
/proc/29670/stat : 29670 (pbsolver) R 29667 29670 28655 0 -1 4194304 90993 0 0 0 34114 15 0 0 20 0 1 0 37989759 322334720 76105 18446744073709551615 4198400 14743177 140734190537312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 32505856 140734190541194 140734190541290 140734190541290 140734190546892 0
/proc/29670/statm: 78695 76105 2688 2575 0 75602 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 314780 KiB
Current children cumulated memory: 304420 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 29689
/proc/meminfo: memFree=128200708/131249996 swapFree=33010684/33010684
[pid=29670] ppid=29667 vsize=341524 memory=331680 CPUtime=401.13 cores=0,2
/proc/29670/stat : 29670 (pbsolver) R 29667 29670 28655 0 -1 4194304 100060 0 0 0 40097 16 0 0 20 0 1 0 37989759 349720576 82920 18446744073709551615 4198400 14743177 140734190537312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 32505856 140734190541194 140734190541290 140734190541290 140734190546892 0
/proc/29670/statm: 85381 82920 2688 2575 0 82288 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 341524 KiB
Current children cumulated memory: 331680 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 29691
/proc/meminfo: memFree=128205104/131249996 swapFree=33010684/33010684
[pid=29670] ppid=29667 vsize=341524 memory=331680 CPUtime=460.96 cores=0,2
/proc/29670/stat : 29670 (pbsolver) R 29667 29670 28655 0 -1 4194304 100064 0 0 0 46080 16 0 0 20 0 1 0 37989759 349720576 82920 18446744073709551615 4198400 14743177 140734190537312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 32505856 140734190541194 140734190541290 140734190541290 140734190546892 0
/proc/29670/statm: 85381 82920 2688 2575 0 82288 0
################
# More data... #
################
/proc/loadavg: 2.10 2.62 3.39 3/251 29892
/proc/meminfo: memFree=128829040/131249996 swapFree=33010684/33010684
[pid=29670] ppid=29667 vsize=418724 memory=408592 CPUtime=3153.14 cores=0,2
/proc/29670/stat : 29670 (pbsolver) R 29667 29670 28655 0 -1 4194304 134124 0 0 0 315287 27 0 0 20 0 1 0 37989759 428773376 102148 18446744073709551615 4198400 14743177 140734190537312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 32505856 140734190541194 140734190541290 140734190541290 140734190546892 0
/proc/29670/statm: 104681 102148 2688 2575 0 101588 0
Current children cumulated CPU time: 3153.14 s
Current children cumulated vsize: 418724 KiB
Current children cumulated memory: 408592 KiB
[startup+3222.3 s]
/proc/loadavg: 2.08 2.52 3.30 3/252 29897
/proc/meminfo: memFree=128828928/131249996 swapFree=33010684/33010684
[pid=29670] ppid=29667 vsize=420536 memory=410256 CPUtime=3212.96 cores=0,2
/proc/29670/stat : 29670 (pbsolver) R 29667 29670 28655 0 -1 4194304 134556 0 0 0 321268 28 0 0 20 0 1 0 37989759 430628864 102564 18446744073709551615 4198400 14743177 140734190537312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 32505856 140734190541194 140734190541290 140734190541290 140734190546892 0
/proc/29670/statm: 105134 102564 2688 2575 0 102041 0
Current children cumulated CPU time: 3212.96 s
Current children cumulated vsize: 420536 KiB
Current children cumulated memory: 410256 KiB
[startup+3282.3 s]
/proc/loadavg: 2.14 2.46 3.23 3/252 29899
/proc/meminfo: memFree=128828932/131249996 swapFree=33010684/33010684
[pid=29670] ppid=29667 vsize=420536 memory=410384 CPUtime=3272.77 cores=0,2
/proc/29670/stat : 29670 (pbsolver) R 29667 29670 28655 0 -1 4194304 134585 0 0 0 327249 28 0 0 20 0 1 0 37989759 430628864 102596 18446744073709551615 4198400 14743177 140734190537312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 32505856 140734190541194 140734190541290 140734190541290 140734190546892 0
/proc/29670/statm: 105134 102596 2688 2575 0 102041 0
Current children cumulated CPU time: 3272.77 s
Current children cumulated vsize: 420536 KiB
Current children cumulated memory: 410384 KiB
[startup+3342.3 s]
/proc/loadavg: 1.65 2.27 3.12 2/248 29936
/proc/meminfo: memFree=129369776/131249996 swapFree=33010684/33010684
[pid=29670] ppid=29667 vsize=420536 memory=410384 CPUtime=3332.61 cores=0,2
/proc/29670/stat : 29670 (pbsolver) R 29667 29670 28655 0 -1 4194304 134715 0 0 0 333232 29 0 0 20 0 1 0 37989759 430628864 102596 18446744073709551615 4198400 14743177 140734190537312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 32505856 140734190541194 140734190541290 140734190541290 140734190546892 0
/proc/29670/statm: 105134 102596 2688 2575 0 102041 0
Current children cumulated CPU time: 3332.61 s
Current children cumulated vsize: 420536 KiB
Current children cumulated memory: 410384 KiB
[startup+3402.3 s]
/proc/loadavg: 1.36 2.07 2.99 2/249 29940
/proc/meminfo: memFree=129370708/131249996 swapFree=33010684/33010684
[pid=29670] ppid=29667 vsize=420536 memory=410384 CPUtime=3392.48 cores=0,2
/proc/29670/stat : 29670 (pbsolver) R 29667 29670 28655 0 -1 4194304 134768 0 0 0 339219 29 0 0 20 0 1 0 37989759 430628864 102596 18446744073709551615 4198400 14743177 140734190537312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 32505856 140734190541194 140734190541290 140734190541290 140734190546892 0
/proc/29670/statm: 105134 102596 2688 2575 0 102041 0
Current children cumulated CPU time: 3392.48 s
Current children cumulated vsize: 420536 KiB
Current children cumulated memory: 410384 KiB
[startup+3462.3 s]
/proc/loadavg: 1.19 1.89 2.87 2/250 29943
/proc/meminfo: memFree=129375072/131249996 swapFree=33010684/33010684
[pid=29670] ppid=29667 vsize=420536 memory=410384 CPUtime=3452.34 cores=0,2
/proc/29670/stat : 29670 (pbsolver) R 29667 29670 28655 0 -1 4194304 134771 0 0 0 345205 29 0 0 20 0 1 0 37989759 430628864 102596 18446744073709551615 4198400 14743177 140734190537312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 32505856 140734190541194 140734190541290 140734190541290 140734190546892 0
/proc/29670/statm: 105134 102596 2688 2575 0 102041 0
Current children cumulated CPU time: 3452.34 s
Current children cumulated vsize: 420536 KiB
Current children cumulated memory: 410384 KiB
[startup+3522.3 s]
/proc/loadavg: 1.12 1.74 2.76 2/249 29946
/proc/meminfo: memFree=129379224/131249996 swapFree=33010684/33010684
[pid=29670] ppid=29667 vsize=420536 memory=410384 CPUtime=3512.21 cores=0,2
/proc/29670/stat : 29670 (pbsolver) R 29667 29670 28655 0 -1 4194304 134945 0 0 0 351191 30 0 0 20 0 1 0 37989759 430628864 102596 18446744073709551615 4198400 14743177 140734190537312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 32505856 140734190541194 140734190541290 140734190541290 140734190546892 0
/proc/29670/statm: 105134 102596 2688 2575 0 102041 0
Current children cumulated CPU time: 3512.21 s
Current children cumulated vsize: 420536 KiB
Current children cumulated memory: 410384 KiB
[startup+3582.3 s]
/proc/loadavg: 1.14 1.63 2.65 2/249 29950
/proc/meminfo: memFree=129379004/131249996 swapFree=33010684/33010684
[pid=29670] ppid=29667 vsize=420536 memory=410384 CPUtime=3572.07 cores=0,2
/proc/29670/stat : 29670 (pbsolver) R 29667 29670 28655 0 -1 4194304 134945 0 0 0 357177 30 0 0 20 0 1 0 37989759 430628864 102596 18446744073709551615 4198400 14743177 140734190537312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 32505856 140734190541194 140734190541290 140734190541290 140734190546892 0
/proc/29670/statm: 105134 102596 2688 2575 0 102041 0
Current children cumulated CPU time: 3572.07 s
Current children cumulated vsize: 420536 KiB
Current children cumulated memory: 410384 KiB
[startup+3597.06 s]
# the end of solver process 29670 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.5 s, system=0.307058 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.14 1.63 2.65 2/249 29950
/proc/meminfo: memFree=129379004/131249996 swapFree=33010684/33010684
[pid=29670] ppid=29667 vsize=420536 memory=410384 CPUtime=3573.77 cores=0,2
/proc/29670/stat : 29670 (pbsolver) R 29667 29670 28655 0 -1 4194304 134945 0 0 0 357347 30 0 0 20 0 1 0 37989759 430628864 102596 18446744073709551615 4198400 14743177 140734190537312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 32505856 140734190541194 140734190541290 140734190541290 140734190546892 0
/proc/29670/statm: 105134 102596 2688 2575 0 102041 0
Current children cumulated CPU time: 3573.77 s
Current children cumulated vsize: 420536 KiB
Current children cumulated memory: 410384 KiB
[startup+3590.4 s]
/proc/loadavg: 1.12 1.61 2.63 2/249 29950
/proc/meminfo: memFree=129379004/131249996 swapFree=33010684/33010684
[pid=29670] ppid=29667 vsize=420536 memory=410384 CPUtime=3580.15 cores=0,2
/proc/29670/stat : 29670 (pbsolver) R 29667 29670 28655 0 -1 4194304 134945 0 0 0 357985 30 0 0 20 0 1 0 37989759 430628864 102596 18446744073709551615 4198400 14743177 140734190537312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 32505856 140734190541194 140734190541290 140734190541290 140734190546892 0
/proc/29670/statm: 105134 102596 2688 2575 0 102041 0
Current children cumulated CPU time: 3580.15 s
Current children cumulated vsize: 420536 KiB
Current children cumulated memory: 410384 KiB
[startup+3593.6 s]
/proc/loadavg: 1.12 1.61 2.63 2/249 29950
/proc/meminfo: memFree=129379004/131249996 swapFree=33010684/33010684
[pid=29670] ppid=29667 vsize=420536 memory=410384 CPUtime=3583.35 cores=0,2
/proc/29670/stat : 29670 (pbsolver) R 29667 29670 28655 0 -1 4194304 134947 0 0 0 358305 30 0 0 20 0 1 0 37989759 430628864 102596 18446744073709551615 4198400 14743177 140734190537312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 32505856 140734190541194 140734190541290 140734190541290 140734190546892 0
/proc/29670/statm: 105134 102596 2688 2575 0 102041 0
Current children cumulated CPU time: 3583.35 s
Current children cumulated vsize: 420536 KiB
Current children cumulated memory: 410384 KiB
[startup+3595.2 s]
/proc/loadavg: 1.11 1.60 2.63 2/249 29950
/proc/meminfo: memFree=129379004/131249996 swapFree=33010684/33010684
[pid=29670] ppid=29667 vsize=420536 memory=410384 CPUtime=3584.94 cores=0,2
/proc/29670/stat : 29670 (pbsolver) R 29667 29670 28655 0 -1 4194304 134947 0 0 0 358464 30 0 0 20 0 1 0 37989759 430628864 102596 18446744073709551615 4198400 14743177 140734190537312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 32505856 140734190541194 140734190541290 140734190541290 140734190546892 0
/proc/29670/statm: 105134 102596 2688 2575 0 102041 0
Current children cumulated CPU time: 3584.94 s
Current children cumulated vsize: 420536 KiB
Current children cumulated memory: 410384 KiB
[startup+3596 s]*
/proc/loadavg: 1.11 1.60 2.63 2/249 29950
/proc/meminfo: memFree=129379004/131249996 swapFree=33010684/33010684
[pid=29670] ppid=29667 vsize=420536 memory=410384 CPUtime=3585.75 cores=0,2
/proc/29670/stat : 29670 (pbsolver) R 29667 29670 28655 0 -1 4194304 134947 0 0 0 358545 30 0 0 20 0 1 0 37989759 430628864 102596 18446744073709551615 4198400 14743177 140734190537312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 32505856 140734190541194 140734190541290 140734190541290 140734190546892 0
/proc/29670/statm: 105134 102596 2688 2575 0 102041 0
Current children cumulated CPU time: 3585.75 s
Current children cumulated vsize: 420536 KiB
Current children cumulated memory: 410384 KiB
[startup+3596.8 s]
/proc/loadavg: 1.11 1.60 2.63 2/249 29950
/proc/meminfo: memFree=129379004/131249996 swapFree=33010684/33010684
[pid=29670] ppid=29667 vsize=420536 memory=410384 CPUtime=3586.54 cores=0,2
/proc/29670/stat : 29670 (pbsolver) R 29667 29670 28655 0 -1 4194304 134947 0 0 0 358624 30 0 0 20 0 1 0 37989759 430628864 102596 18446744073709551615 4198400 14743177 140734190537312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 32505856 140734190541194 140734190541290 140734190541290 140734190546892 0
/proc/29670/statm: 105134 102596 2688 2575 0 102041 0
Current children cumulated CPU time: 3586.54 s
Current children cumulated vsize: 420536 KiB
Current children cumulated memory: 410384 KiB
[startup+3597 s]*
/proc/loadavg: 1.11 1.60 2.63 2/249 29950
/proc/meminfo: memFree=129379004/131249996 swapFree=33010684/33010684
[pid=29670] ppid=29667 vsize=420536 memory=410384 CPUtime=3586.74 cores=0,2
/proc/29670/stat : 29670 (pbsolver) R 29667 29670 28655 0 -1 4194304 134947 0 0 0 358644 30 0 0 20 0 1 0 37989759 430628864 102596 18446744073709551615 4198400 14743177 140734190537312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 32505856 140734190541194 140734190541290 140734190541290 140734190546892 0
/proc/29670/statm: 105134 102596 2688 2575 0 102041 0
Current children cumulated CPU time: 3586.74 s
Current children cumulated vsize: 420536 KiB
Current children cumulated memory: 410384 KiB
Child status: 0
Real time (s): 3597.06
CPU time (s): 3586.81
CPU user time (s): 3586.5
CPU system time (s): 0.307058
CPU usage (%): 99.7149
Max. virtual memory (cumulated for all children) (KiB): 423524
Max. memory (cumulated for all children) (KiB): 413328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.5
system time used= 0.307058
maximum resident set size= 416016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134954
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= 38
involuntary context switches= 4971
# summary of solver processes directly reported to runsolver:
# pid: 29670
# total CPU time (s): 3586.81
# total CPU user time (s): 3586.5
# total CPU system time (s): 0.307058
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.03644 second user time and 15.8036 second system time
The end