0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4514384-1751227492.opb>
0.00/0.03 c original problem has 1806 variables (1806 bin, 0 int, 0 impl, 0 cont) and 8614 constraints
0.00/0.03 c problem read in 0.03
0.00/0.03 c No objective function, only one solution is needed.
0.00/0.05 c presolving:
0.00/0.07 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.07 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.07 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.09 c (0.1s) running MILP presolver
0.08/0.11 c (0.1s) MILP presolver found nothing
0.08/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.19/0.26 c (0.3s) probing: 95/1800 (5.3%) - 0 fixings, 0 aggregations, 8 implications, 0 bound changes
0.19/0.26 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.19/0.29 c (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.29/0.36 c (0.4s) symmetry computation finished: 22 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.04)
0.29/0.36 c dynamic symmetry handling statistics:
0.29/0.36 c orbitopal reduction: no components
0.29/0.36 c orbital reduction: 1 components of sizes 21
0.29/0.36 c lexicographic reduction: 22 permutations with support sizes 42, 82, 84, 84, 84, 84, 84, 84, 84, 84, 84, 84, 84, 84, 84, 84, 84, 84, 84, 84, 84, 1760
0.29/0.36 c handled 1 out of 1 symmetry components
0.29/0.37 c presolving (5 rounds: 5 fast, 2 medium, 2 exhaustive):
0.29/0.37 c 7 deleted vars, 395 deleted constraints, 0 added constraints, 4 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.37 c 0 implications, 3448 cliques
0.29/0.37 c presolved problem has 1800 variables (1800 bin, 0 int, 0 impl, 0 cont) and 8219 constraints
0.29/0.37 c 3440 constraints of type <setppc>
0.29/0.37 c 1 constraints of type <linear>
0.29/0.37 c 4778 constraints of type <logicor>
0.29/0.37 c transformed objective value is always integral (scale: 1)
0.29/0.37 c Presolving Time: 0.32
0.29/0.37 c - non default parameters ----------------------------------------------------------------------
0.29/0.37 c # SCIP version 10.0.0
0.29/0.37 c
0.29/0.37 c # maximal time in seconds to run
0.29/0.37 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.29/0.37 c limits/time = 3596.997014
0.29/0.37 c
0.29/0.37 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.37 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.29/0.37 c limits/memory = 27900
0.29/0.37 c
0.29/0.37 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.29/0.37 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.29/0.37 c limits/solutions = 1
0.29/0.37 c
0.29/0.37 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
0.29/0.37 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.29/0.37 c misc/usesymmetry = 3
0.29/0.37 c
0.29/0.37 c # belongs reading time to solving time?
0.29/0.37 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.29/0.37 c timing/reading = TRUE
0.29/0.37 c
0.29/0.37 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.29/0.37 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.29/0.37 c propagating/symmetry/detectdoublelex = FALSE
0.29/0.37 c
0.29/0.37 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.29/0.37 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.29/0.37 c propagating/symmetry/detectsubgroups = FALSE
0.29/0.37 c
0.29/0.37 c # Type of symmetries that shall be computed?
0.29/0.37 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.29/0.37 c propagating/symmetry/symtype = 1
0.29/0.37 c
0.29/0.37 c # Should components consisting of a single full reflection be handled?
0.29/0.37 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.29/0.37 c propagating/symmetry/usesimplesgncomp = FALSE
0.29/0.37 c
0.29/0.37 c -----------------------------------------------------------------------------------------------
0.29/0.37 c start solving
0.29/0.37 c
0.78/0.85 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.85 c 0.8s| 1 | 0 | 2583 | - | 68M | 0 |1800 |8406 |8219 | 0 | 0 | 190 | 0 | 0.000000e+00 | -- | Inf | unknown
9.15/9.28 c 9.3s| 1 | 0 | 24772 | - | 86M | 0 |1800 |8610 |8240 | 21 | 1 | 194 | 0 | 0.000000e+00 | -- | Inf | unknown
9.65/9.76 c 9.8s| 1 | 0 | 26524 | - | 98M | 0 |1800 |8616 |8249 | 30 | 2 | 200 | 0 | 0.000000e+00 | -- | Inf | unknown
10.25/10.36 c 10.4s| 1 | 0 | 28594 | - | 105M | 0 |1800 |8616 |8260 | 41 | 3 | 200 | 0 | 0.000000e+00 | -- | Inf | unknown
10.95/11.05 c 11.0s| 1 | 0 | 30755 | - | 117M | 0 |1800 |8616 |8266 | 47 | 4 | 200 | 0 | 0.000000e+00 | -- | Inf | unknown
11.54/11.60 c 11.6s| 1 | 0 | 32505 | - | 127M | 0 |1800 |8623 |8271 | 52 | 5 | 208 | 0 | 0.000000e+00 | -- | Inf | unknown
12.15/12.26 c 12.3s| 1 | 0 | 34410 | - | 140M | 0 |1800 |8623 |8276 | 57 | 6 | 208 | 0 | 0.000000e+00 | -- | Inf | unknown
13.64/13.75 c 13.7s| 1 | 0 | 35978 | - | 142M | 0 |1800 |8630 |8282 | 63 | 7 | 215 | 0 | 0.000000e+00 | -- | Inf | unknown
15.24/15.35 c 15.3s| 1 | 0 | 38001 | - | 143M | 0 |1800 |8630 |8289 | 70 | 8 | 215 | 0 | 0.000000e+00 | -- | Inf | unknown
15.73/15.89 c 15.9s| 1 | 0 | 39161 | - | 157M | 0 |1800 |8635 |8290 | 71 | 9 | 220 | 0 | 0.000000e+00 | -- | Inf | unknown
16.74/16.85 c 16.8s| 1 | 0 | 41758 | - | 171M | 0 |1800 |8635 |8296 | 77 | 10 | 220 | 0 | 0.000000e+00 | -- | Inf | unknown
17.14/17.28 c 17.3s| 1 | 0 | 43078 | - | 173M | 0 |1800 |8635 |8300 | 81 | 11 | 220 | 0 | 0.000000e+00 | -- | Inf | unknown
21.93/22.01 c 22.0s| 1 | 2 | 47609 | - | 173M | 0 |1800 |8646 |8300 | 81 | 11 | 233 | 11 | 0.000000e+00 | -- | Inf | unknown
115.77/116.14 c 116s| 100 | 101 |393137 |3535.9 | 199M | 15 |1800 |9128 |8266 | 282 | 2 |1070 | 11 | 0.000000e+00 | -- | Inf | unknown
170.81/171.36 c 171s| 200 | 197 |635177 |2975.4 | 200M | 15 |1800 |9121 |8240 | 282 | 1 |1425 | 11 | 0.000000e+00 | -- | Inf | 1.17%
270.04/270.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
270.04/270.86 c 271s| 300 | 277 | 1008k|3228.6 | 232M | 16 |1800 |9354 |8240 | 695 | 0 |2058 | 11 | 0.000000e+00 | -- | Inf | 2.59%
343.54/344.50 c 344s| 400 | 367 | 1316k|3190.4 | 255M | 17 |1800 |9771 |8240 |1057 | 0 |2824 | 11 | 0.000000e+00 | -- | Inf | 3.98%
396.29/397.45 c 397s| 500 | 461 | 1556k|3033.6 | 256M | 17 |1800 |9833 |8240 |1261 | 1 |3116 | 11 | 0.000000e+00 | -- | Inf | 4.37%
468.19/469.55 c 470s| 600 | 551 | 1870k|3051.5 | 261M | 17 |1800 | 10k|8255 |1740 | 1 |3772 | 11 | 0.000000e+00 | -- | Inf | 4.60%
535.41/536.92 c 537s| 700 | 629 | 2161k|3030.5 | 264M | 17 |1800 | 10k|8240 |2230 | 1 |4273 | 11 | 0.000000e+00 | -- | Inf | 5.48%
614.99/616.77 c 617s| 800 | 703 | 2505k|3081.4 | 268M | 18 |1800 | 10k|8240 |2901 | 1 |5045 | 11 | 0.000000e+00 | -- | Inf | 6.44%
688.50/690.45 c 690s| 900 | 747 | 2827k|3096.9 | 270M | 18 |1800 | 11k|8255 |3313 | 1 |5845 | 11 | 0.000000e+00 | -- | Inf | 8.70%
758.32/760.45 c 760s| 1000 | 757 | 3129k|3089.7 | 272M | 26 |1800 | 11k|8240 |3646 | 1 |5924 | 11 | 0.000000e+00 | -- | Inf | 10.07%
818.66/820.94 c 821s| 1100 | 795 | 3405k|3059.7 | 277M | 26 |1800 | 10k|8240 |4092 | 0 |6205 | 11 | 0.000000e+00 | -- | Inf | 11.52%
867.43/869.83 c 870s| 1200 | 835 | 3638k|2998.5 | 279M | 26 |1800 | 11k|8265 |4359 | 1 |6541 | 11 | 0.000000e+00 | -- | Inf | 12.35%
877.10/879.58 c 880s| 1300 | 845 | 3695k|2811.6 | 279M | 28 |1800 | 11k|8260 |4436 | 1 |6586 | 11 | 0.000000e+00 | -- | Inf | 12.43%
881.19/883.65 c 884s| 1400 | 839 | 3725k|2632.1 | 279M | 28 |1800 | 11k|8265 |4446 | 0 |6624 | 11 | 0.000000e+00 | -- | Inf | 12.43%
886.38/888.85 c 889s| 1500 | 837 | 3763k|2481.6 | 279M | 28 |1800 | 11k|8264 |4469 | 1 |6682 | 11 | 0.000000e+00 | -- | Inf | 12.43%
927.08/929.63 c 930s| 1600 | 855 | 3961k|2450.7 | 281M | 28 |1800 | 11k|8261 |4613 | 1 |6838 | 11 | 0.000000e+00 | -- | Inf | 13.62%
940.94/943.53 c 944s| 1700 | 879 | 4036k|2350.7 | 281M | 28 |1800 | 11k|8265 |4698 | 1 |6948 | 11 | 0.000000e+00 | -- | Inf | 13.68%
945.63/948.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
945.63/948.27 c 948s| 1800 | 877 | 4071k|2239.1 | 281M | 28 |1800 | 11k|8264 |4720 | 1 |6996 | 11 | 0.000000e+00 | -- | Inf | 13.68%
951.61/954.22 c 954s| 1900 | 871 | 4113k|2143.4 | 280M | 28 |1800 | 11k|8265 |4772 | 0 |7053 | 11 | 0.000000e+00 | -- | Inf | 13.68%
978.55/981.22 c 981s| 2000 | 889 | 4250k|2104.7 | 280M | 28 |1800 | 11k|8264 |4927 | 1 |7189 | 11 | 0.000000e+00 | -- | Inf | 14.36%
989.22/991.92 c 992s| 2100 | 889 | 4319k|2037.3 | 280M | 28 |1800 | 11k|8261 |5000 | 0 |7263 | 11 | 0.000000e+00 | -- | Inf | 14.47%
1027.23/1030.08 c 1030s| 2200 | 897 | 4507k|2030.1 | 281M | 28 |1800 | 11k|8271 |5206 | 2 |7392 | 11 | 0.000000e+00 | -- | Inf | 15.11%
1061.34/1064.27 c 1064s| 2300 | 905 | 4659k|2008.2 | 281M | 28 |1800 | 11k|8264 |5492 | 1 |7450 | 11 | 0.000000e+00 | -- | Inf | 15.62%
1080.20/1083.15 c 1083s| 2400 | 909 | 4759k|1966.1 | 282M | 28 |1800 | 11k|8261 |5707 | 0 |7523 | 11 | 0.000000e+00 | -- | Inf | 15.72%
1112.12/1115.13 c 1115s| 2500 | 925 | 4916k|1950.0 | 284M | 28 |1800 | 10k|8274 |5971 | 2 |7724 | 11 | 0.000000e+00 | -- | Inf | 16.05%
1121.00/1124.03 c 1124s| 2600 | 939 | 4975k|1897.8 | 285M | 28 |1800 | 11k|8265 |6025 | 1 |7801 | 11 | 0.000000e+00 | -- | Inf | 16.12%
1124.49/1127.52 c 1128s| 2700 | 935 | 5002k|1837.6 | 285M | 30 |1800 | 11k|8265 |6025 | 1 |7913 | 11 | 0.000000e+00 | -- | Inf | 16.12%
1130.18/1133.26 c 1133s| 2800 | 929 | 5043k|1786.6 | 285M | 30 |1800 | 11k|8267 |6045 | 0 |7983 | 11 | 0.000000e+00 | -- | Inf | 16.12%
1151.42/1154.55 c 1155s| 2900 | 953 | 5157k|1764.1 | 283M | 30 |1800 | 11k|8266 |6223 | 1 |8029 | 11 | 0.000000e+00 | -- | Inf | 16.32%
1155.92/1159.04 c 1159s| 3000 | 947 | 5191k|1716.8 | 283M | 30 |1800 | 11k|8264 |6234 | 0 |8060 | 11 | 0.000000e+00 | -- | Inf | 16.32%
1182.05/1185.22 c 1185s| 3100 | 953 | 5319k|1702.7 | 284M | 30 |1800 | 11k|8240 |6455 | 0 |8119 | 11 | 0.000000e+00 | -- | Inf | 16.65%
1219.55/1222.86 c 1223s| 3200 | 975 | 5503k|1706.9 | 285M | 30 |1800 | 11k|8264 |6858 | 0 |8175 | 11 | 0.000000e+00 | -- | Inf | 17.53%
1224.44/1227.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1224.44/1227.70 c 1228s| 3300 | 979 | 5538k|1665.8 | 285M | 30 |1800 | 11k|8264 |6907 | 1 |8211 | 11 | 0.000000e+00 | -- | Inf | 17.53%
1225.54/1228.83 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1225.54/1228.86 c (run 1, node 3330) performing user restart
1225.54/1228.86 c
1225.54/1228.86 c (restart) converted 30 cuts from the global cut pool into linear constraints
1225.54/1228.86 c
1225.64/1228.95 c presolving:
1225.64/1228.96 c (round 1, fast) 0 del vars, 16 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3448 clqs
1225.74/1229.01 c (round 2, exhaustive) 0 del vars, 19 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 0 chg coeffs, 203 upgd conss, 0 impls, 3448 clqs
1225.94/1229.22 c (round 3, exhaustive) 0 del vars, 47 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 1467 chg coeffs, 203 upgd conss, 0 impls, 3448 clqs
1226.14/1229.42 c (round 4, exhaustive) 0 del vars, 66 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 1468 chg coeffs, 203 upgd conss, 0 impls, 3448 clqs
1226.14/1229.46 c (round 5, exhaustive) 0 del vars, 66 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 1828 chg coeffs, 203 upgd conss, 0 impls, 3448 clqs
1226.44/1229.71 c presolving (6 rounds: 6 fast, 5 medium, 5 exhaustive):
1226.44/1229.71 c 0 deleted vars, 66 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 3 changed sides, 1828 changed coefficients
1226.44/1229.71 c 0 implications, 3448 cliques
1226.44/1229.71 c presolved problem has 1800 variables (1800 bin, 0 int, 0 impl, 0 cont) and 11121 constraints
1226.44/1229.71 c 53 constraints of type <knapsack>
1226.44/1229.71 c 3440 constraints of type <setppc>
1226.44/1229.71 c 70 constraints of type <linear>
1226.44/1229.71 c 7558 constraints of type <logicor>
1226.44/1229.71 c transformed objective value is always integral (scale: 1)
1226.44/1229.71 c Presolving Time: 1.10
1226.44/1229.71 c
1226.84/1230.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1226.84/1230.18 c 1230s| 1 | 0 | 5549k| - | 293M | 0 |1800 | 11k|8248 | 0 | 0 |8253 | 11 | 0.000000e+00 | -- | Inf | unknown
1227.23/1230.59 c 1231s| 1 | 0 | 5551k| - | 303M | 0 |1800 | 11k|8264 | 16 | 1 |8253 | 11 | 0.000000e+00 | -- | Inf | unknown
1227.74/1231.02 c 1231s| 1 | 0 | 5552k| - | 303M | 0 |1800 | 11k|8272 | 24 | 2 |8260 | 11 | 0.000000e+00 | -- | Inf | unknown
1228.63/1231.93 c 1232s| 1 | 0 | 5554k| - | 304M | 0 |1800 | 11k|8282 | 34 | 3 |8265 | 11 | 0.000000e+00 | -- | Inf | unknown
1230.03/1233.34 c 1233s| 1 | 0 | 5556k| - | 304M | 0 |1800 | 11k|8290 | 42 | 4 |8265 | 11 | 0.000000e+00 | -- | Inf | unknown
1230.83/1234.11 c 1234s| 1 | 0 | 5558k| - | 308M | 0 |1800 | 11k|8297 | 49 | 5 |8271 | 11 | 0.000000e+00 | -- | Inf | unknown
1231.52/1234.89 c 1235s| 1 | 0 | 5560k| - | 309M | 0 |1800 | 11k|8304 | 56 | 6 |8275 | 11 | 0.000000e+00 | -- | Inf | unknown
1233.23/1236.53 c 1237s| 1 | 0 | 5562k| - | 311M | 0 |1800 | 11k|8311 | 63 | 7 |8279 | 11 | 0.000000e+00 | -- | Inf | unknown
1234.22/1237.54 c 1238s| 1 | 0 | 5565k| - | 315M | 0 |1800 | 11k|8319 | 71 | 8 |8284 | 11 | 0.000000e+00 | -- | Inf | unknown
1235.82/1239.11 c 1239s| 1 | 0 | 5567k| - | 316M | 0 |1800 | 11k|8323 | 75 | 9 |8289 | 11 | 0.000000e+00 | -- | Inf | unknown
1237.41/1240.77 c 1241s| 1 | 0 | 5569k| - | 317M | 0 |1800 | 11k|8330 | 82 | 10 |8295 | 11 | 0.000000e+00 | -- | Inf | unknown
1238.31/1241.62 c 1242s| 1 | 0 | 5572k| - | 318M | 0 |1800 | 11k|8337 | 89 | 11 |8302 | 11 | 0.000000e+00 | -- | Inf | unknown
1246.19/1249.50 c 1249s| 1 | 2 | 5578k| - | 318M | 0 |1800 | 11k|8337 | 89 | 11 |8322 | 30 | 0.000000e+00 | -- | Inf | unknown
1287.69/1291.19 c 1291s| 100 | 65 | 5764k|1661.2 | 324M | 27 |1800 | 10k|8287 | 138 | 1 |8639 | 30 | 0.000000e+00 | -- | Inf | unknown
1309.83/1313.33 c 1313s| 200 | 97 | 5873k|1645.0 | 328M | 27 |1800 | 10k|8287 | 218 | 1 |8782 | 30 | 0.000000e+00 | -- | Inf | unknown
1320.81/1324.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1320.81/1324.30 c 1324s| 300 | 103 | 5927k|1614.5 | 328M | 29 |1800 |9438 |8288 | 221 | 1 |8889 | 30 | 0.000000e+00 | -- | Inf | unknown
1330.08/1333.68 c 1334s| 400 | 103 | 5978k|1585.1 | 328M | 29 |1800 |9401 |8287 | 229 | 0 |8935 | 30 | 0.000000e+00 | -- | Inf | unknown
1344.45/1348.01 c 1348s| 500 | 97 | 6052k|1562.9 | 328M | 29 |1800 |9275 |8288 | 258 | 1 |8989 | 30 | 0.000000e+00 | -- | Inf | unknown
1361.20/1364.86 c 1365s| 600 | 105 | 6132k|1543.5 | 331M | 29 |1800 |9126 |8288 | 292 | 0 |9113 | 30 | 0.000000e+00 | -- | Inf | unknown
1403.70/1407.41 c 1407s| 700 | 129 | 6312k|1549.9 | 335M | 29 |1800 |8980 |8274 | 433 | 1 |9332 | 30 | 0.000000e+00 | -- | Inf | 0.71%
1455.97/1459.81 c 1460s| 800 | 167 | 6539k|1567.4 | 336M | 29 |1800 |9046 |8290 | 764 | 1 |9549 | 30 | 0.000000e+00 | -- | Inf | 1.18%
1524.30/1528.39 c 1528s| 900 | 251 | 6825k|1597.8 | 347M | 29 |1800 |9270 |8295 |1224 | 1 |9950 | 30 | 0.000000e+00 | -- | Inf | 1.40%
1532.48/1536.52 c 1537s| 1000 | 249 | 6871k|1571.5 | 347M | 29 |1800 |9270 |8292 |1232 | 1 |9991 | 30 | 0.000000e+00 | -- | Inf | 1.40%
1549.54/1553.69 c 1554s| 1100 | 251 | 6945k|1552.9 | 347M | 29 |1800 |9286 |8292 |1239 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 1.40%
1600.92/1605.16 c 1605s| 1200 | 317 | 7164k|1567.0 | 348M | 29 |1800 |9372 |8294 |1475 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 1.68%
1613.18/1617.42 c 1617s| 1300 | 309 | 7225k|1546.3 | 348M | 29 |1800 |9370 |8292 |1503 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 1.69%
1643.01/1647.36 c 1647s| 1400 | 343 | 7360k|1542.1 | 348M | 29 |1800 |9469 |8284 |1642 | 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 1.69%
1652.79/1657.12 c 1657s| 1500 | 355 | 7410k|1520.5 | 348M | 29 |1800 |9515 |8287 |1660 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 1.69%
1657.37/1661.71 c 1662s| 1600 | 355 | 7438k|1495.3 | 348M | 29 |1800 |9595 |8288 |1666 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 1.69%
1667.75/1672.14 c 1672s| 1700 | 357 | 7491k|1476.1 | 348M | 29 |1800 |9646 |8289 |1688 | 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 1.69%
1674.53/1678.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1674.53/1678.90 c 1679s| 1800 | 359 | 7538k|1456.6 | 348M | 29 |1800 |9690 |8284 |1701 | 1 | 11k| 30 | 0.000000e+00 | -- | Inf | 1.70%
1680.82/1685.24 c 1685s| 1900 | 371 | 7581k|1437.0 | 348M | 29 |1800 |9745 |8287 |1727 | 1 | 11k| 30 | 0.000000e+00 | -- | Inf | 1.70%
1685.10/1689.51 c 1690s| 2000 | 371 | 7612k|1415.8 | 348M | 29 |1800 |9795 |8289 |1736 | 2 | 11k| 30 | 0.000000e+00 | -- | Inf | 1.70%
1687.90/1692.34 c 1692s| 2100 | 373 | 7635k|1393.8 | 349M | 30 |1800 |9879 |8289 |1742 | 0 | 11k| 30 | 0.000000e+00 | -- | Inf | 1.70%
1691.99/1696.48 c 1696s| 2200 | 369 | 7667k|1374.5 | 349M | 30 |1800 |9894 |8289 |1743 | 0 | 11k| 30 | 0.000000e+00 | -- | Inf | 1.70%
1696.58/1701.08 c 1701s| 2300 | 377 | 7702k|1356.2 | 349M | 30 |1800 |9947 |8288 |1750 | 0 | 11k| 30 | 0.000000e+00 | -- | Inf | 1.70%
1703.26/1707.74 c 1708s| 2400 | 369 | 7751k|1341.1 | 349M | 30 |1800 |9953 |8290 |1763 | 1 | 11k| 30 | 0.000000e+00 | -- | Inf | 1.70%
1709.24/1713.75 c 1714s| 2500 | 368 | 7793k|1325.3 | 349M | 30 |1800 | 10k|8287 |1781 | 0 | 11k| 30 | 0.000000e+00 | -- | Inf | 1.70%
1715.83/1720.34 c 1720s| 2600 | 368 | 7840k|1310.9 | 349M | 30 |1800 | 10k|8289 |1802 | 0 | 11k| 30 | 0.000000e+00 | -- | Inf | 1.70%
1721.91/1726.40 c 1726s| 2700 | 364 | 7883k|1296.4 | 349M | 30 |1800 | 10k|8289 |1826 | 2 | 11k| 30 | 0.000000e+00 | -- | Inf | 1.70%
1730.09/1734.68 c 1735s| 2800 | 356 | 7941k|1284.7 | 349M | 30 |1800 |9964 |8292 |1847 | 0 | 11k| 30 | 0.000000e+00 | -- | Inf | 1.70%
1740.07/1744.66 c 1745s| 2900 | 356 | 8011k|1275.2 | 349M | 30 |1800 |9913 |8286 |1862 | 1 | 11k| 30 | 0.000000e+00 | -- | Inf | 1.70%
1746.46/1751.10 c 1751s| 3000 | 358 | 8058k|1262.5 | 349M | 30 |1800 |9912 |8288 |1871 | 0 | 11k| 30 | 0.000000e+00 | -- | Inf | 1.70%
1755.63/1760.27 c 1760s| 3100 | 376 | 8119k|1252.3 | 349M | 30 |1800 |9918 |8287 |1887 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 1.71%
1759.22/1763.80 c 1764s| 3200 | 375 | 8145k|1237.1 | 349M | 30 |1800 | 10k|8288 |1888 | 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 1.71%
1766.00/1770.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1766.00/1770.68 c 1771s| 3300 | 369 | 8192k|1225.7 | 349M | 30 |1800 | 10k|8286 |1912 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 1.71%
1772.29/1776.96 c 1777s| 3400 | 369 | 8234k|1213.7 | 349M | 30 |1800 | 10k|8286 |1928 | 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 1.71%
1781.86/1786.59 c 1787s| 3500 | 371 | 8300k|1205.5 | 349M | 30 |1800 | 10k|8284 |1946 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 1.71%
1787.55/1792.21 c 1792s| 3600 | 375 | 8341k|1194.0 | 349M | 30 |1800 | 10k|8285 |1962 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 1.71%
1792.94/1797.61 c 1798s| 3700 | 375 | 8380k|1182.7 | 349M | 30 |1800 | 10k|8289 |1981 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 1.71%
1801.32/1806.02 c 1806s| 3800 | 371 | 8438k|1174.2 | 349M | 30 |1800 | 10k|8288 |1998 | 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 1.71%
1810.00/1814.74 c 1815s| 3900 | 377 | 8498k|1166.2 | 349M | 30 |1800 | 10k|8289 |2012 | 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 1.72%
1823.66/1828.43 c 1828s| 4000 | 371 | 8578k|1161.1 | 349M | 30 |1800 | 10k|8267 |2057 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 1.80%
1839.82/1844.66 c 1845s| 4100 | 389 | 8666k|1157.4 | 349M | 30 |1800 | 10k|8289 |2115 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 2.31%
1845.51/1850.32 c 1850s| 4200 | 393 | 8706k|1147.3 | 349M | 30 |1800 | 10k|8291 |2122 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 2.31%
1852.20/1857.07 c 1857s| 4300 | 401 | 8752k|1138.4 | 349M | 30 |1800 | 10k|8291 |2124 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 2.31%
1859.77/1864.69 c 1865s| 4400 | 393 | 8806k|1130.6 | 349M | 30 |1800 | 10k|8289 |2129 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 2.31%
1878.73/1883.64 c 1884s| 4500 | 399 | 8906k|1129.0 | 349M | 30 |1800 | 10k|8289 |2198 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 2.40%
1908.06/1913.07 c 1913s| 4600 | 421 | 9054k|1133.4 | 350M | 30 |1800 | 10k|8287 |2293 | 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 2.94%
1922.72/1927.74 c 1928s| 4700 | 423 | 9142k|1130.2 | 351M | 30 |1800 | 10k|8287 |2314 | 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 3.00%
1938.38/1943.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1938.38/1943.40 c 1943s| 4800 | 449 | 9233k|1127.6 | 351M | 30 |1800 | 10k|8295 |2327 | 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 3.20%
1947.06/1952.11 c 1952s| 4900 | 445 | 9294k|1121.2 | 351M | 30 |1800 | 10k|8292 |2353 | 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 3.20%
1956.54/1961.67 c 1962s| 5000 | 439 | 9360k|1115.7 | 351M | 30 |1800 | 10k|8295 |2371 | 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 3.20%
1999.03/2004.29 c 2004s| 5100 | 459 | 9556k|1125.8 | 352M | 30 |1800 |9848 |8285 |2550 | 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 4.20%
2048.31/2053.66 c 2054s| 5200 | 503 | 9780k|1138.8 | 352M | 30 |1800 |9858 |8286 |2823 | 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 5.59%
2071.25/2076.66 c 2077s| 5300 | 505 | 9900k|1139.5 | 352M | 30 |1800 |9663 |8286 |2918 | 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 6.16%
2111.05/2116.59 c 2117s| 5400 | 533 | 10086k|1147.8 | 353M | 30 |1800 |9572 |8267 |3089 | 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 7.46%
2122.82/2128.33 c 2128s| 5500 | 547 | 10157k|1142.8 | 354M | 30 |1800 |9633 |8287 |3120 | 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 7.66%
2132.40/2137.92 c 2138s| 5600 | 559 | 10219k|1136.9 | 354M | 30 |1800 |9677 |8287 |3143 | 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 7.66%
2138.08/2143.65 c 2144s| 5700 | 557 | 10260k|1128.8 | 354M | 30 |1800 |9676 |8288 |3156 | 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 7.66%
2144.27/2149.87 c 2150s| 5800 | 559 | 10302k|1121.1 | 354M | 30 |1800 |9682 |8287 |3165 | 0 | 14k| 30 | 0.000000e+00 | -- | Inf | 7.66%
2148.46/2154.08 c 2154s| 5900 | 553 | 10333k|1112.3 | 354M | 30 |1800 |9705 |8290 |3171 | 0 | 14k| 30 | 0.000000e+00 | -- | Inf | 7.66%
2155.34/2160.95 c 2161s| 6000 | 557 | 10381k|1105.5 | 354M | 30 |1800 |9719 |8290 |3190 | 0 | 14k| 30 | 0.000000e+00 | -- | Inf | 7.66%
2162.82/2168.44 c 2168s| 6100 | 553 | 10432k|1099.2 | 354M | 30 |1800 |9736 |8285 |3226 | 1 | 14k| 30 | 0.000000e+00 | -- | Inf | 7.66%
2171.09/2176.74 c 2177s| 6200 | 571 | 10489k|1093.7 | 354M | 30 |1800 |9749 |8290 |3248 | 1 | 14k| 30 | 0.000000e+00 | -- | Inf | 7.67%
2182.27/2187.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2182.27/2187.99 c 2188s| 6300 | 559 | 10555k|1089.1 | 354M | 30 |1800 |9753 |8293 |3298 | 0 | 14k| 30 | 0.000000e+00 | -- | Inf | 7.67%
2214.98/2220.78 c 2221s| 6400 | 573 | 10723k|1095.3 | 354M | 30 |1800 |9689 |8290 |3442 | 1 | 14k| 30 | 0.000000e+00 | -- | Inf | 8.17%
2245.61/2251.46 c 2251s| 6500 | 589 | 10875k|1099.5 | 355M | 30 |1800 |9606 |8267 |3594 | 0 | 14k| 30 | 0.000000e+00 | -- | Inf | 8.62%
2284.91/2290.87 c 2291s| 6600 | 633 | 11056k|1106.7 | 355M | 30 |1800 |9562 |8294 |3752 | 1 | 14k| 30 | 0.000000e+00 | -- | Inf | 9.49%
2293.49/2299.42 c 2299s| 6700 | 645 | 11111k|1101.2 | 355M | 30 |1800 |9565 |8298 |3777 | 0 | 14k| 30 | 0.000000e+00 | -- | Inf | 9.49%
2302.07/2308.03 c 2308s| 6800 | 645 | 11169k|1096.0 | 355M | 30 |1800 |9563 |8299 |3807 | 0 | 14k| 30 | 0.000000e+00 | -- | Inf | 9.49%
2314.54/2320.55 c 2321s| 6900 | 647 | 11247k|1092.9 | 355M | 30 |1800 |9585 |8300 |3834 | 2 | 14k| 30 | 0.000000e+00 | -- | Inf | 9.50%
2327.90/2333.93 c 2334s| 7000 | 669 | 11326k|1090.0 | 355M | 30 |1800 |9597 |8284 |3861 | 0 | 14k| 30 | 0.000000e+00 | -- | Inf | 9.51%
2331.89/2337.96 c 2338s| 7100 | 677 | 11355k|1082.4 | 355M | 30 |1800 |9653 |8286 |3873 | 0 | 14k| 30 | 0.000000e+00 | -- | Inf | 9.51%
2337.18/2343.22 c 2343s| 7200 | 673 | 11394k|1075.7 | 355M | 30 |1800 |9653 |8287 |3891 | 0 | 14k| 30 | 0.000000e+00 | -- | Inf | 9.51%
2344.16/2350.20 c 2350s| 7300 | 669 | 11443k|1070.3 | 355M | 30 |1800 |9671 |8285 |3906 | 1 | 15k| 30 | 0.000000e+00 | -- | Inf | 9.51%
2351.95/2358.09 c 2358s| 7400 | 665 | 11497k|1065.3 | 355M | 30 |1800 |9679 |8286 |3916 | 1 | 15k| 30 | 0.000000e+00 | -- | Inf | 9.51%
2361.42/2367.53 c 2368s| 7500 | 663 | 11560k|1061.3 | 355M | 30 |1800 |9689 |8281 |3925 | 0 | 15k| 30 | 0.000000e+00 | -- | Inf | 9.51%
2369.90/2376.02 c 2376s| 7600 | 663 | 11618k|1056.9 | 355M | 30 |1800 |9722 |8284 |3944 | 0 | 15k| 30 | 0.000000e+00 | -- | Inf | 9.51%
2405.40/2411.68 c 2412s| 7700 | 687 | 11782k|1062.2 | 356M | 30 |1800 |9795 |8292 |4109 | 1 | 15k| 30 | 0.000000e+00 | -- | Inf | 9.64%
2440.41/2446.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2440.41/2446.73 c 2447s| 7800 | 711 | 11947k|1067.5 | 357M | 30 |1800 |9678 |8287 |4289 | 1 | 15k| 30 | 0.000000e+00 | -- | Inf | 9.92%
2448.29/2454.61 c 2455s| 7900 | 722 | 11996k|1062.3 | 357M | 35 |1800 |9829 |8290 |4299 | 0 | 15k| 30 | 0.000000e+00 | -- | Inf | 9.93%
2454.57/2460.91 c 2461s| 8000 | 717 | 12037k|1056.6 | 357M | 35 |1800 |9872 |8288 |4306 | 1 | 15k| 30 | 0.000000e+00 | -- | Inf | 9.93%
2463.44/2469.87 c 2470s| 8100 | 741 | 12096k|1052.4 | 358M | 35 |1800 |9941 |8293 |4323 | 1 | 15k| 30 | 0.000000e+00 | -- | Inf | 9.93%
2467.64/2474.06 c 2474s| 8200 | 739 | 12126k|1045.9 | 358M | 35 |1800 |9980 |8292 |4330 | 2 | 16k| 30 | 0.000000e+00 | -- | Inf | 9.93%
2474.22/2480.65 c 2481s| 8300 | 739 | 12171k|1040.8 | 358M | 35 |1800 | 10k|8295 |4351 | 0 | 16k| 30 | 0.000000e+00 | -- | Inf | 9.93%
2480.70/2487.11 c 2487s| 8400 | 737 | 12216k|1035.8 | 358M | 35 |1800 | 10k|8295 |4369 | 0 | 16k| 30 | 0.000000e+00 | -- | Inf | 9.93%
2488.48/2494.92 c 2495s| 8500 | 729 | 12271k|1031.7 | 358M | 35 |1800 | 10k|8295 |4380 | 1 | 16k| 30 | 0.000000e+00 | -- | Inf | 9.93%
2507.33/2513.81 c 2514s| 8600 | 735 | 12373k|1031.6 | 358M | 35 |1800 |9924 |8282 |4439 | 1 | 16k| 30 | 0.000000e+00 | -- | Inf | 10.00%
2527.18/2533.71 c 2534s| 8700 | 755 | 12480k|1031.9 | 358M | 35 |1800 |9770 |8292 |4503 | 0 | 16k| 30 | 0.000000e+00 | -- | Inf | 10.20%
2535.57/2542.11 c 2542s| 8800 | 758 | 12536k|1028.0 | 358M | 35 |1800 |9737 |8295 |4514 | 1 | 16k| 30 | 0.000000e+00 | -- | Inf | 10.21%
2551.82/2558.45 c 2558s| 8900 | 766 | 12625k|1026.8 | 358M | 35 |1800 |9737 |8293 |4588 | 0 | 16k| 30 | 0.000000e+00 | -- | Inf | 10.26%
2570.17/2576.84 c 2577s| 9000 | 780 | 12726k|1026.7 | 358M | 35 |1800 |9702 |8291 |4657 | 1 | 16k| 30 | 0.000000e+00 | -- | Inf | 10.45%
2579.75/2586.48 c 2586s| 9100 | 782 | 12787k|1023.4 | 358M | 35 |1800 |9672 |8294 |4667 | 1 | 16k| 30 | 0.000000e+00 | -- | Inf | 10.49%
2599.19/2605.93 c 2606s| 9200 | 790 | 12888k|1023.3 | 358M | 35 |1800 |9611 |8297 |4779 | 1 | 16k| 30 | 0.000000e+00 | -- | Inf | 10.50%
2635.80/2642.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2635.80/2642.61 c 2643s| 9300 | 822 | 13050k|1028.0 | 358M | 35 |1800 |9576 |8296 |4889 | 0 | 16k| 30 | 0.000000e+00 | -- | Inf | 11.11%
2652.76/2659.64 c 2660s| 9400 | 824 | 13146k|1027.5 | 358M | 35 |1800 |9529 |8298 |4975 | 0 | 16k| 30 | 0.000000e+00 | -- | Inf | 11.22%
2661.14/2668.09 c 2668s| 9500 | 834 | 13202k|1023.8 | 358M | 35 |1800 |9616 |8297 |4993 | 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 11.22%
2674.11/2681.07 c 2681s| 9600 | 840 | 13282k|1022.1 | 359M | 35 |1800 |9700 |8288 |5001 | 0 | 17k| 30 | 0.000000e+00 | -- | Inf | 11.23%
2687.27/2694.21 c 2694s| 9700 | 858 | 13359k|1020.1 | 359M | 35 |1800 |9766 |8294 |5064 | 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 11.23%
2698.94/2705.93 c 2706s| 9800 | 860 | 13425k|1017.4 | 359M | 35 |1800 |9807 |8282 |5147 | 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 11.28%
2724.47/2731.53 c 2732s| 9900 | 898 | 13560k|1020.0 | 359M | 35 |1800 |9846 |8293 |5241 | 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 11.33%
2731.25/2738.30 c 2738s| 10000 | 902 | 13606k|1015.7 | 359M | 35 |1800 |9859 |8302 |5275 | 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 11.33%
2743.22/2750.38 c 2750s| 10100 | 904 | 13682k|1013.8 | 359M | 35 |1800 |9879 |8288 |5293 | 0 | 17k| 30 | 0.000000e+00 | -- | Inf | 11.33%
2759.48/2766.67 c 2767s| 10200 | 912 | 13775k|1013.2 | 360M | 35 |1800 |9881 |8288 |5337 | 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 11.40%
2778.93/2786.13 c 2786s| 10300 | 942 | 13882k|1013.6 | 360M | 35 |1800 |9893 |8291 |5400 | 0 | 17k| 30 | 0.000000e+00 | -- | Inf | 11.40%
2786.30/2793.59 c 2794s| 10400 | 940 | 13934k|1010.0 | 360M | 35 |1800 |9889 |8291 |5431 | 0 | 18k| 30 | 0.000000e+00 | -- | Inf | 11.40%
2795.96/2803.29 c 2803s| 10500 | 958 | 13998k|1007.3 | 360M | 35 |1800 |9865 |8290 |5479 | 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 11.40%
2800.65/2807.90 c 2808s| 10600 | 950 | 14032k|1002.5 | 360M | 35 |1800 |9876 |8288 |5485 | 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 11.40%
2806.53/2813.83 c 2814s| 10700 | 952 | 14073k| 998.3 | 360M | 35 |1800 |9915 |8289 |5496 | 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 11.41%
2813.01/2820.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2813.01/2820.31 c 2820s| 10800 | 948 | 14119k| 994.5 | 360M | 35 |1800 |9945 |8287 |5508 | 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 11.41%
2821.48/2828.81 c 2829s| 10900 | 952 | 14176k| 991.5 | 360M | 35 |1800 |9964 |8289 |5523 | 2 | 18k| 30 | 0.000000e+00 | -- | Inf | 11.41%
2829.05/2836.46 c 2836s| 11000 | 954 | 14227k| 988.2 | 360M | 35 |1800 | 10k|8288 |5529 | 0 | 18k| 30 | 0.000000e+00 | -- | Inf | 11.41%
2837.43/2844.83 c 2845s| 11100 | 959 | 14282k| 985.2 | 360M | 35 |1800 | 10k|8288 |5540 | 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 11.41%
2847.39/2854.85 c 2855s| 11200 | 979 | 14343k| 982.5 | 360M | 35 |1800 | 10k|8286 |5567 | 0 | 18k| 30 | 0.000000e+00 | -- | Inf | 11.41%
2881.59/2889.12 c 2889s| 11300 | 995 | 14512k| 987.4 | 360M | 35 |1800 | 10k|8295 |5678 | 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 11.53%
2893.94/2901.53 c 2902s| 11400 | 999 | 14592k| 986.1 | 360M | 35 |1800 | 10k|8282 |5697 | 0 | 18k| 30 | 0.000000e+00 | -- | Inf | 11.54%
2908.40/2916.08 c 2916s| 11500 | 1005 | 14679k| 985.3 | 360M | 35 |1800 | 10k|8300 |5742 | 0 | 18k| 30 | 0.000000e+00 | -- | Inf | 11.64%
2926.94/2934.66 c 2935s| 11600 | 1007 | 14768k| 984.7 | 360M | 35 |1800 | 10k|8289 |5791 | 0 | 18k| 30 | 0.000000e+00 | -- | Inf | 11.84%
2941.79/2949.57 c 2950s| 11700 | 1019 | 14853k| 983.8 | 361M | 35 |1800 | 10k|8293 |5853 | 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 11.89%
2949.86/2957.68 c 2958s| 11800 | 1035 | 14907k| 980.9 | 362M | 35 |1800 | 10k|8290 |5875 | 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 11.92%
2957.73/2965.51 c 2965s| 11900 | 1035 | 14960k| 977.9 | 362M | 35 |1800 | 10k|8291 |5906 | 0 | 19k| 30 | 0.000000e+00 | -- | Inf | 11.92%
2967.80/2975.68 c 2976s| 12000 | 1049 | 15025k| 975.8 | 362M | 35 |1800 | 10k|8295 |5930 | 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 11.92%
2975.58/2983.48 c 2983s| 12100 | 1049 | 15078k| 972.9 | 362M | 35 |1800 | 10k|8293 |5938 | 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 11.93%
2982.75/2990.65 c 2991s| 12200 | 1051 | 15127k| 969.8 | 362M | 35 |1800 | 10k|8295 |5946 | 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 11.93%
3005.77/3013.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3005.77/3013.72 c 3014s| 12300 | 1082 | 15249k| 971.3 | 363M | 35 |1800 | 10k|8304 |6024 | 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 12.07%
3018.33/3026.32 c 3026s| 12400 | 1090 | 15328k| 970.2 | 363M | 35 |1800 | 10k|8290 |6040 | 0 | 19k| 30 | 0.000000e+00 | -- | Inf | 12.08%
3031.39/3039.47 c 3039s| 12500 | 1096 | 15407k| 969.1 | 363M | 35 |1800 | 10k|8295 |6082 | 0 | 19k| 30 | 0.000000e+00 | -- | Inf | 12.18%
3039.37/3047.46 c 3047s| 12600 | 1096 | 15462k| 966.5 | 363M | 35 |1800 | 10k|8296 |6093 | 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 12.18%
3057.31/3065.45 c 3065s| 12700 | 1114 | 15561k| 966.6 | 363M | 35 |1800 | 10k|8298 |6145 | 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 12.37%
3065.38/3073.57 c 3074s| 12800 | 1112 | 15615k| 963.9 | 363M | 35 |1800 | 10k|8297 |6167 | 0 | 19k| 30 | 0.000000e+00 | -- | Inf | 12.37%
3092.39/3100.61 c 3101s| 12900 | 1134 | 15753k| 966.5 | 363M | 35 |1800 | 10k|8294 |6285 | 0 | 19k| 30 | 0.000000e+00 | -- | Inf | 12.64%
3099.27/3107.51 c 3108s| 13000 | 1132 | 15801k| 963.5 | 363M | 35 |1800 | 10k|8291 |6289 | 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 12.64%
3115.72/3124.02 c 3124s| 13100 | 1146 | 15894k| 963.3 | 363M | 35 |1800 | 10k|8291 |6331 | 1 | 20k| 30 | 0.000000e+00 | -- | Inf | 12.78%
3123.59/3131.96 c 3132s| 13200 | 1148 | 15949k| 960.8 | 364M | 35 |1800 | 10k|8293 |6334 | 0 | 20k| 30 | 0.000000e+00 | -- | Inf | 12.78%
3129.37/3137.72 c 3138s| 13300 | 1152 | 15990k| 957.5 | 364M | 35 |1800 | 10k|8294 |6335 | 0 | 20k| 30 | 0.000000e+00 | -- | Inf | 12.78%
3133.15/3141.51 c 3142s| 13400 | 1154 | 16019k| 953.5 | 364M | 35 |1800 | 10k|8293 |6335 | 1 | 20k| 30 | 0.000000e+00 | -- | Inf | 12.79%
3139.74/3148.15 c 3148s| 13500 | 1154 | 16065k| 950.6 | 364M | 35 |1800 | 10k|8293 |6338 | 0 | 20k| 30 | 0.000000e+00 | -- | Inf | 12.79%
3147.31/3155.77 c 3156s| 13600 | 1160 | 16118k| 948.1 | 364M | 35 |1800 | 10k|8294 |6342 | 1 | 20k| 30 | 0.000000e+00 | -- | Inf | 12.79%
3171.33/3179.84 c 3180s| 13700 | 1164 | 16226k| 948.9 | 364M | 35 |1800 | 10k|8294 |6372 | 1 | 20k| 30 | 0.000000e+00 | -- | Inf | 12.81%
3180.41/3188.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3180.41/3188.90 c 3189s| 13800 | 1164 | 16284k| 946.7 | 364M | 35 |1800 | 10k|8295 |6384 | 1 | 20k| 30 | 0.000000e+00 | -- | Inf | 12.82%
3198.85/3207.40 c 3207s| 13900 | 1176 | 16381k| 946.9 | 364M | 35 |1800 | 10k|8287 |6474 | 1 | 20k| 30 | 0.000000e+00 | -- | Inf | 12.92%
3222.87/3231.53 c 3232s| 14000 | 1200 | 16500k| 948.3 | 365M | 35 |1800 | 10k|8298 |6565 | 1 | 20k| 30 | 0.000000e+00 | -- | Inf | 13.21%
3237.92/3246.61 c 3247s| 14100 | 1214 | 16590k| 948.0 | 365M | 35 |1800 | 10k|8287 |6641 | 1 | 20k| 30 | 0.000000e+00 | -- | Inf | 13.22%
3246.99/3255.76 c 3256s| 14200 | 1222 | 16651k| 946.1 | 365M | 35 |1800 | 10k|8287 |6656 | 1 | 20k| 30 | 0.000000e+00 | -- | Inf | 13.22%
3257.36/3266.18 c 3266s| 14300 | 1228 | 16718k| 944.5 | 365M | 35 |1800 | 10k|8297 |6673 | 1 | 20k| 30 | 0.000000e+00 | -- | Inf | 13.24%
3263.53/3272.37 c 3272s| 14400 | 1230 | 16760k| 941.6 | 365M | 35 |1800 | 10k|8297 |6679 | 0 | 20k| 30 | 0.000000e+00 | -- | Inf | 13.24%
3268.52/3277.37 c 3277s| 14500 | 1228 | 16795k| 938.2 | 366M | 35 |1800 | 10k|8297 |6679 | 0 | 21k| 30 | 0.000000e+00 | -- | Inf | 13.25%
3275.79/3284.62 c 3285s| 14600 | 1226 | 16845k| 935.8 | 366M | 35 |1800 | 10k|8297 |6682 | 0 | 21k| 30 | 0.000000e+00 | -- | Inf | 13.25%
3281.18/3290.05 c 3290s| 14700 | 1225 | 16882k| 932.6 | 366M | 35 |1800 | 10k|8297 |6682 | 0 | 21k| 30 | 0.000000e+00 | -- | Inf | 13.25%
3304.30/3313.23 c 3313s| 14800 | 1239 | 16999k| 933.9 | 366M | 35 |1800 | 10k|8294 |6764 | 0 | 21k| 30 | 0.000000e+00 | -- | Inf | 13.29%
3323.93/3332.94 c 3333s| 14900 | 1247 | 17107k| 934.8 | 366M | 35 |1800 | 10k|8296 |6850 | 0 | 21k| 30 | 0.000000e+00 | -- | Inf | 13.35%
3355.03/3364.14 c 3364s| 15000 | 1299 | 17263k| 938.2 | 368M | 35 |1800 | 10k|8298 |6970 | 0 | 21k| 30 | 0.000000e+00 | -- | Inf | 13.46%
3366.79/3375.97 c 3376s| 15100 | 1301 | 17314k| 935.8 | 368M | 35 |1800 | 10k|8300 |7010 | 0 | 21k| 30 | 0.000000e+00 | -- | Inf | 13.46%
3379.65/3388.83 c 3389s| 15200 | 1312 | 17395k| 935.1 | 368M | 35 |1800 | 10k|8290 |7074 | 0 | 21k| 30 | 0.000000e+00 | -- | Inf | 13.46%
3390.71/3400.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3390.71/3400.00 c 3400s| 15300 | 1330 | 17464k| 933.8 | 369M | 35 |1800 | 10k|8292 |7112 | 0 | 21k| 30 | 0.000000e+00 | -- | Inf | 13.47%
3395.59/3404.86 c 3405s| 15400 | 1328 | 17498k| 930.7 | 369M | 35 |1800 | 10k|8290 |7113 | 1 | 22k| 30 | 0.000000e+00 | -- | Inf | 13.47%
3401.07/3410.34 c 3410s| 15500 | 1330 | 17537k| 927.8 | 369M | 35 |1800 | 10k|8290 |7124 | 1 | 22k| 30 | 0.000000e+00 | -- | Inf | 13.47%
3405.66/3414.92 c 3415s| 15600 | 1332 | 17570k| 924.6 | 369M | 35 |1800 | 10k|8293 |7136 | 0 | 22k| 30 | 0.000000e+00 | -- | Inf | 13.47%
3414.53/3423.81 c 3424s| 15700 | 1324 | 17629k| 922.9 | 369M | 35 |1800 | 10k|8294 |7142 | 0 | 22k| 30 | 0.000000e+00 | -- | Inf | 13.47%
3422.10/3431.47 c 3431s| 15800 | 1324 | 17681k| 920.8 | 369M | 35 |1800 | 10k|8289 |7149 | 1 | 22k| 30 | 0.000000e+00 | -- | Inf | 13.47%
3431.07/3440.49 c 3440s| 15900 | 1330 | 17741k| 919.1 | 369M | 35 |1800 | 10k|8289 |7164 | 0 | 22k| 30 | 0.000000e+00 | -- | Inf | 13.47%
3438.65/3448.04 c 3448s| 16000 | 1332 | 17792k| 917.0 | 369M | 35 |1800 | 10k|8289 |7186 | 1 | 22k| 30 | 0.000000e+00 | -- | Inf | 13.47%
3446.63/3456.04 c 3456s| 16100 | 1340 | 17846k| 915.0 | 369M | 35 |1800 | 10k|8294 |7205 | 0 | 22k| 30 | 0.000000e+00 | -- | Inf | 13.47%
3452.80/3462.29 c 3462s| 16200 | 1342 | 17891k| 912.7 | 370M | 35 |1800 | 10k|8294 |7216 | 0 | 22k| 30 | 0.000000e+00 | -- | Inf | 13.48%
3458.69/3468.16 c 3468s| 16300 | 1338 | 17932k| 910.1 | 370M | 35 |1800 | 10k|8292 |7220 | 0 | 22k| 30 | 0.000000e+00 | -- | Inf | 13.48%
3464.46/3473.98 c 3474s| 16400 | 1346 | 17970k| 907.4 | 370M | 35 |1800 | 10k|8293 |7225 | 1 | 22k| 30 | 0.000000e+00 | -- | Inf | 13.48%
3469.95/3479.49 c 3479s| 16500 | 1340 | 18008k| 904.7 | 370M | 35 |1800 | 10k|8293 |7232 | 1 | 22k| 30 | 0.000000e+00 | -- | Inf | 13.48%
3476.32/3485.82 c 3486s| 16600 | 1338 | 18052k| 902.4 | 370M | 35 |1800 | 10k|8293 |7240 | 0 | 22k| 30 | 0.000000e+00 | -- | Inf | 13.48%
3480.52/3490.08 c 3490s| 16700 | 1342 | 18082k| 899.4 | 370M | 35 |1800 | 10k|8293 |7246 | 1 | 22k| 30 | 0.000000e+00 | -- | Inf | 13.48%
3486.30/3495.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3486.30/3495.84 c 3496s| 16800 | 1340 | 18123k| 897.0 | 370M | 35 |1800 | 10k|8291 |7261 | 1 | 22k| 30 | 0.000000e+00 | -- | Inf | 13.48%
3491.08/3500.66 c 3501s| 16900 | 1342 | 18157k| 894.2 | 370M | 35 |1800 | 10k|8292 |7272 | 1 | 23k| 30 | 0.000000e+00 | -- | Inf | 13.48%
3495.87/3505.40 c 3505s| 17000 | 1339 | 18190k| 891.5 | 370M | 35 |1800 | 10k|8294 |7276 | 0 | 23k| 30 | 0.000000e+00 | -- | Inf | 13.48%
3500.96/3510.51 c 3511s| 17100 | 1339 | 18226k| 888.8 | 370M | 35 |1800 | 10k|8293 |7285 | 0 | 23k| 30 | 0.000000e+00 | -- | Inf | 13.48%
3509.73/3519.31 c 3519s| 17200 | 1339 | 18283k| 887.3 | 370M | 35 |1800 | 10k|8289 |7303 | 0 | 23k| 30 | 0.000000e+00 | -- | Inf | 13.48%
3514.82/3524.44 c 3524s| 17300 | 1347 | 18320k| 884.8 | 370M | 35 |1800 | 10k|8294 |7321 | 0 | 23k| 30 | 0.000000e+00 | -- | Inf | 13.48%
3520.61/3530.21 c 3530s| 17400 | 1342 | 18361k| 882.5 | 370M | 35 |1800 | 10k|8294 |7322 | 1 | 23k| 30 | 0.000000e+00 | -- | Inf | 13.48%
3527.39/3537.07 c 3537s| 17500 | 1344 | 18409k| 880.6 | 370M | 35 |1800 | 11k|8294 |7328 | 1 | 23k| 30 | 0.000000e+00 | -- | Inf | 13.48%
3536.48/3546.17 c 3546s| 17600 | 1341 | 18470k| 879.3 | 370M | 35 |1800 | 11k|8292 |7352 | 0 | 23k| 30 | 0.000000e+00 | -- | Inf | 13.48%
3545.46/3555.18 c 3555s| 17700 | 1347 | 18530k| 878.0 | 370M | 35 |1800 | 11k|8293 |7367 | 1 | 23k| 30 | 0.000000e+00 | -- | Inf | 13.49%
3557.02/3566.72 c 3567s| 17800 | 1341 | 18605k| 877.3 | 370M | 35 |1800 | 11k|8291 |7393 | 1 | 23k| 30 | 0.000000e+00 | -- | Inf | 13.59%
3582.95/3592.70 c 3593s| 17900 | 1355 | 18736k| 879.4 | 370M | 35 |1800 | 11k|8281 |7511 | 1 | 23k| 30 | 0.000000e+00 | -- | Inf | 13.60%
3587.24/3597.00 c
3587.24/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.24/3597.00 c Solving Time (sec) : 3597.00
3587.24/3597.00 c Solving Nodes : 17907 (total of 21237 nodes in 2 runs)
3587.24/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.24/3597.00 c Dual Bound : +0.00000000000000e+00
3587.24/3597.00 c Gap : infinite
3587.24/3597.00 s UNKNOWN
3587.24/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.24/3597.00 c Total Time : 3597.00
3587.24/3597.00 c solving : 3597.00
3587.24/3597.00 c presolving : 1.10 (included in solving)
3587.24/3597.00 c reading : 0.03 (included in solving)
3587.24/3597.00 c copying : 2.20 (105 #copies) (minimal 0.02, maximal 0.03, average 0.02)
3587.24/3597.00 c Original Problem :
3587.24/3597.00 c Problem name : HOME/instance-4514384-1751227492.opb
3587.24/3597.00 c Variables : 1806 (1806 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.24/3597.00 c Constraints : 8614 initial, 8614 maximal
3587.24/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.24/3597.00 c Presolved Problem :
3587.24/3597.00 c Problem name : t_HOME/instance-4514384-1751227492.opb
3587.24/3597.00 c Variables : 1800 (1800 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.24/3597.00 c Constraints : 11121 initial, 11227 maximal
3587.24/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.24/3597.00 c Nonzeros : 227886 constraint, 6896 clique table
3587.24/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.24/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c domcol : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c dualsparsify : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c gateextraction : 0.04 0.00 6 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c implics : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c milp : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c sparsify : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c trivial : 0.00 0.00 11 1 0 0 0 0 0 0 0 0
3587.24/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c dualfix : 0.00 0.00 11 1 0 0 0 0 0 0 0 0
3587.24/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c probing : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c symmetry : 0.07 0.00 1 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c knapsack : 0.01 0.00 16 0 0 0 0 0 0 0 0 4
3587.24/3597.00 c setppc : 0.02 0.00 19 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c linear : 0.05 0.01 18 4 0 0 4 0 398 0 3 0
3587.24/3597.00 c logicor : 0.68 0.04 18 0 0 0 0 0 63 0 0 1824
3587.24/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c components : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c root node : - - - 0 - - 0 - - - - -
3587.24/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.24/3597.00 c benderslp : 0 0 0 0 11798 0 0 2186 0 0 0 0 0 0 0
3587.24/3597.00 c integral : 0 0 0 0 11798 0 0 2186 0 0 0 0 0 0 23596
3587.24/3597.00 c knapsack : 53+ 86 11 83656 0 0 0 0 145121 39 35758 2 1 0 0
3587.24/3597.00 c setppc : 3440+ 3444 22 86842 0 0 0 2181 1631902 20 551665 0 0 0 0
3587.24/3597.00 c linear : 70+ 79 23 86782 0 0 0 6 10589 742 596 0 0 0 0
3587.24/3597.00 c logicor : 7558+ 7683 22 40880 0 0 0 0 18971 815 852 20 2 0 0
3587.24/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.24/3597.00 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3587.24/3597.00 c integral : 11.50 0.00 0.00 0.00 11.50 0.00 0.00 0.00 0.00 0.00
3587.24/3597.00 c knapsack : 2.01 0.00 0.03 1.93 0.00 0.00 0.00 0.00 0.05 0.00
3587.24/3597.00 c setppc : 5.55 0.00 0.01 5.09 0.00 0.00 0.00 0.02 0.42 0.01
3587.24/3597.00 c linear : 0.87 0.01 0.00 0.84 0.00 0.00 0.00 0.00 0.02 0.00
3587.24/3597.00 c logicor : 2.85 0.04 0.03 2.76 0.00 0.00 0.00 0.00 0.01 0.01
3587.24/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.24/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.24/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.24/3597.00 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.24/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.24/3597.00 c dualfix : 2 0 0 0
3587.24/3597.00 c genvbounds : 0 0 0 0
3587.24/3597.00 c nlobbt : 0 0 0 0
3587.24/3597.00 c obbt : 0 0 0 0
3587.24/3597.00 c probing : 0 0 0 0
3587.24/3597.00 c pseudoobj : 0 0 0 0
3587.24/3597.00 c redcost : 0 0 0 0
3587.24/3597.00 c rootredcost : 0 0 0 0
3587.24/3597.00 c symmetry : 29785 0 0 202
3587.24/3597.00 c vbounds : 24984 0 0 0
3587.24/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.24/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.24/3597.00 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3587.24/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.24/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.24/3597.00 c probing : 0.03 0.00 0.03 0.00 0.00 0.00
3587.24/3597.00 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3587.24/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.24/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.24/3597.00 c symmetry : 1.44 0.00 0.07 1.37 0.00 0.00
3587.24/3597.00 c vbounds : 0.05 0.00 0.00 0.05 0.00 0.00
3587.24/3597.00 c Symmetry :
3587.24/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.24/3597.00 c orbital reduction: 20 reductions applied, 0 cutoffs
3587.24/3597.00 c lexicographic red: 209 reductions applied, 0 cutoffs
3587.24/3597.00 c shadow tree time : 0.04 s
3587.24/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.24/3597.00 c propagation : 0.06 895 866 - 6171 48.0 3 31.0 - - -
3587.24/3597.00 c infeasible LP : 6.76 10310 8020 - 25713 162.0 3 63.7 7593 194.9 0
3587.24/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.24/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.24/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.24/3597.00 c applied globally : 0.26 - - 0 16274 68.9 - - 6724 - -
3587.24/3597.00 c applied locally : - - - 0 16 138.9 - - 869 - -
3587.24/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.24/3597.00 c cut pool : 4.97 - 3258 42 - - 28487 50133 - - - - - (maximal pool size: 3861)
3587.24/3597.00 c aggregation : 1.53 0.00 791 22 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.24/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.24/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.24/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c clique : 0.13 0.00 22 22 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c gomory : 25.05 0.00 789 20 0 0 41256 33876 13042 2071 2012 59 0
3587.24/3597.00 c > gomorymi : - - - - - - - 15239 6548 131 77 54 -
3587.24/3597.00 c > strongcg : - - - - - - - 18637 6494 1940 1935 5 -
3587.24/3597.00 c impliedbounds : 0.11 0.00 791 22 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c multilinear : 0.00 0.00 417 22 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c rapidlearning : 35.57 0.00 100 1 0 9583 0 0 0 0 0 0 860
3587.24/3597.00 c rlt : 0.00 0.00 404 20 0 0 0 0 0 0 0 0 0
3587.24/3597.00 c zerohalf : 17.22 0.00 791 22 0 0 4810 16257 4537 12344 8260 4084 0
3587.24/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.24/3597.00 c hybrid : 0.55 0.00 1983 22 14422 0 53238 170 0 3468
3587.24/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3587.24/3597.00 c problem variables: 0.00 - 0 0
3587.24/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.24/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.00 c relpscost : 11.49 0.00 11798 0 0 0 0 0 0 23596
3587.24/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.24/3597.00 c LP solutions : 0.00 - - 0 0
3587.24/3597.00 c relax solutions : 0.00 - - 0 0
3587.24/3597.00 c pseudo solutions : 0.00 - - 0 0
3587.24/3597.00 c strong branching : 0.00 - - 0 0
3587.24/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3587.24/3597.00 c adaptivediving : 18.58 0.00 19 0 0
3587.24/3597.00 c alns : 9.70 0.00 5 0 0
3587.24/3597.00 c bound : 0.00 0.00 0 0 0
3587.24/3597.00 c clique : 0.03 0.00 1 0 0
3587.24/3597.00 c coefdiving : 0.00 0.00 0 0 0
3587.24/3597.00 c completesol : 0.00 0.00 0 0 0
3587.24/3597.00 c conflictdiving : 76.44 0.00 96 0 0
3587.24/3597.00 c crossover : 0.01 0.00 0 0 0
3587.24/3597.00 c dins : 0.00 0.00 0 0 0
3587.24/3597.00 c distributiondivin: 75.38 0.00 95 0 0
3587.24/3597.00 c dps : 0.00 0.00 0 0 0
3587.24/3597.00 c dualval : 0.00 0.00 0 0 0
3587.24/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3587.24/3597.00 c feasjump : 0.10 0.00 2 0 0
3587.24/3597.00 c feaspump : 72.04 0.00 14 0 0
3587.24/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3587.24/3597.00 c fracdiving : 99.73 0.00 95 0 0
3587.24/3597.00 c gins : 0.00 0.00 0 0 0
3587.24/3597.00 c guideddiving : 0.00 0.00 0 0 0
3587.24/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3587.24/3597.00 c indicator : 0.01 0.00 0 0 0
3587.24/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3587.24/3597.00 c indoneopt : 0.01 0.00 0 0 0
3587.24/3597.00 c indrounding : 0.00 0.00 0 0 0
3587.24/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3587.24/3597.00 c intdiving : 0.00 0.00 0 0 0
3587.24/3597.00 c intshifting : 0.00 0.00 0 0 0
3587.24/3597.00 c linesearchdiving : 79.82 0.00 95 0 0
3587.24/3597.00 c localbranching : 0.00 0.00 0 0 0
3587.24/3597.00 c locks : 0.01 0.00 1 0 0
3587.24/3597.00 c lpface : 0.01 0.00 0 0 0
3587.24/3597.00 c mpec : 0.00 0.00 0 0 0
3587.24/3597.00 c multistart : 0.00 0.00 0 0 0
3587.24/3597.00 c mutation : 0.00 0.00 0 0 0
3587.24/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3587.24/3597.00 c objpscostdiving : 105.69 0.00 16 0 0
3587.24/3597.00 c octane : 0.00 0.00 0 0 0
3587.24/3597.00 c ofins : 0.01 0.00 0 0 0
3587.24/3597.00 c oneopt : 0.01 0.00 0 0 0
3587.24/3597.00 c padm : 0.00 0.00 0 0 0
3587.24/3597.00 c proximity : 0.00 0.00 0 0 0
3587.24/3597.00 c pscostdiving : 88.38 0.00 96 0 0
3587.24/3597.00 c randrounding : 0.44 0.00 2196 0 0
3587.24/3597.00 c rens : 0.00 0.00 0 0 0
3587.24/3597.00 c reoptsols : 0.00 0.00 0 0 0
3587.24/3597.00 c repair : 0.00 0.00 0 0 0
3587.24/3597.00 c rins : 0.01 0.00 0 0 0
3587.24/3597.00 c rootsoldiving : 31.70 0.00 33 0 0
3587.24/3597.00 c rounding : 0.67 0.00 1615 0 0
3587.24/3597.00 c scheduler : 0.00 0.00 0 0 0
3587.24/3597.00 c shiftandpropagate: 0.12 0.00 2 0 0
3587.24/3597.00 c shifting : 1.70 0.00 772 0 0
3587.24/3597.00 c simplerounding : 0.01 0.00 0 0 0
3587.24/3597.00 c smallcard : 0.00 0.00 0 0 0
3587.24/3597.00 c subnlp : 0.01 0.00 0 0 0
3587.24/3597.00 c trivial : 0.00 0.00 4 0 0
3587.24/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3587.24/3597.00 c trustregion : 0.00 0.00 0 0 0
3587.24/3597.00 c trysol : 0.01 0.00 0 0 0
3587.24/3597.00 c twoopt : 0.00 0.00 0 0 0
3587.24/3597.00 c undercover : 0.00 0.00 0 0 0
3587.24/3597.00 c vbounds : 0.04 0.00 2 0 0
3587.24/3597.00 c veclendiving : 64.69 0.00 95 0 0
3587.24/3597.00 c zeroobj : 0.00 0.00 0 0 0
3587.24/3597.00 c zirounding : 0.41 0.00 1000 0 0
3587.24/3597.00 c other solutions : - - - 0 -
3587.24/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.24/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.24/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.24/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.24/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.24/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.24/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.24/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.24/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.24/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.24/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.24/3597.00 c primal LP : 1.69 989 0 0.00 0.00 1.69 989
3587.24/3597.00 c dual LP : 2723.63 23211 15977550 688.51 5866.27 0.01 5
3587.24/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3587.24/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.24/3597.00 c resolve instable : 0.00 0 0 0.00 -
3587.24/3597.00 c diving/probing LP: 690.06 3591 2777378 773.43 4024.82
3587.24/3597.00 c strong branching : 8.43 30 30000 1000.00 3560.36 - - 60
3587.24/3597.00 c (at root node) : - 30 30000 1000.00 -
3587.24/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3587.24/3597.00 c B&B Tree :
3587.24/3597.00 c number of runs : 2
3587.24/3597.00 c nodes : 17907 (9645 internal, 8262 leaves)
3587.24/3597.00 c feasible leaves : 0
3587.24/3597.00 c infeas. leaves : 8262
3587.24/3597.00 c objective leaves : 0
3587.24/3597.00 c nodes (total) : 21237 (11798 internal, 9439 leaves)
3587.24/3597.00 c nodes left : 1358
3587.24/3597.00 c max depth : 35
3587.24/3597.00 c max depth (total): 35
3587.24/3597.00 c backtracks : 4767 (26.6%)
3587.24/3597.00 c early backtracks : 0 (0.0%)
3587.24/3597.00 c nodes exc. ref. : 0 (0.0%)
3587.24/3597.00 c delayed cutoffs : 26
3587.24/3597.00 c repropagations : 457 (8661 domain reductions, 22 cutoffs)
3587.24/3597.00 c avg switch length: 3.28
3587.24/3597.00 c switching time : 9.48
3587.24/3597.00 c Root Node :
3587.24/3597.00 c First LP value : +0.00000000000000e+00
3587.24/3597.00 c First LP Iters : 2583 (8095.94 Iter/sec)
3587.24/3597.00 c First LP Time : 0.32
3587.24/3597.00 c Final Dual Bound : +0.00000000000000e+00
3587.24/3597.00 c Final Root Iters : 67991
3587.24/3597.00 c Root LP Estimate : +5.67646683217508e-02
3587.24/3597.00 c Solution :
3587.24/3597.00 c Solutions found : 0 (0 improvements)
3587.24/3597.00 c Primal Bound : -
3587.24/3597.00 c Dual Bound : +0.00000000000000e+00
3587.24/3597.00 c Gap : infinite
3587.24/3597.00 c Integrals : Total Avg%
3587.24/3597.00 c primal-dual : 359699.91 100.00
3587.24/3597.00 c primal-ref : - - (not evaluated)
3587.24/3597.00 c dual-ref : - - (not evaluated)
3587.24/3597.08 c Time complete: 3587.31.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62679 MiB free)
memory of node 1: 64507 MiB (63773 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514384-1751227492/watcher-4514384-1751227492 -o /tmp/evaluation-result-4514384-1751227492/solver-4514384-1751227492 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751227488-29473 --watchdog 3760 pbscip -f HOME/instance-4514384-1751227492.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=29935, runsolver pid=29932
[startup+0.100062 s]*
/proc/loadavg: 0.90 1.03 1.48 5/264 29936
/proc/meminfo: memFree=129427960/131249988 swapFree=33010684/33010684
[pid=29935] ppid=29932 vsize=81616 memory=55064 CPUtime=0.08 cores=4,6
/proc/29935/stat : 29935 (pbscip) R 29932 29935 29462 0 -1 4194304 11939 0 0 0 7 1 0 0 20 0 1 0 38428099 83574784 13766 18446744073709551615 4235264 18693293 140736432379248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48599040 140736432384393 140736432384492 140736432384492 140736432390094 0
/proc/29935/statm: 20404 13766 3648 3530 0 11855 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 81616 KiB
Current children cumulated memory: 55064 KiB
[startup+0.205527 s]*
/proc/loadavg: 0.90 1.03 1.48 5/264 29936
/proc/meminfo: memFree=129427960/131249988 swapFree=33010684/33010684
[pid=29935] ppid=29932 vsize=82980 memory=56680 CPUtime=0.19 cores=4,6
/proc/29935/stat : 29935 (pbscip) R 29932 29935 29462 0 -1 4194304 14005 0 0 0 17 2 0 0 20 0 1 0 38428099 84971520 14170 18446744073709551615 4235264 18693293 140736432379248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48599040 140736432384393 140736432384492 140736432384492 140736432390094 0
/proc/29935/statm: 20745 14170 3712 3530 0 12196 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 82980 KiB
Current children cumulated memory: 56680 KiB
[startup+0.305432 s]*
/proc/loadavg: 0.90 1.03 1.48 5/264 29936
/proc/meminfo: memFree=129423864/131249988 swapFree=33010684/33010684
[pid=29935] ppid=29932 vsize=96184 memory=67624 CPUtime=0.29 cores=4,6
/proc/29935/stat : 29935 (pbscip) R 29932 29935 29462 0 -1 4194304 16319 0 0 0 27 2 0 0 20 0 1 0 38428099 98492416 16906 18446744073709551615 4235264 18693293 140736432379248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48599040 140736432384393 140736432384492 140736432384492 140736432390094 0
/proc/29935/statm: 24046 16906 3744 3530 0 15497 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 96184 KiB
Current children cumulated memory: 67624 KiB
[startup+0.700168 s]
/proc/loadavg: 0.90 1.03 1.48 5/264 29936
/proc/meminfo: memFree=129415800/131249988 swapFree=33010684/33010684
[pid=29935] ppid=29932 vsize=119080 memory=90792 CPUtime=0.68 cores=4,6
/proc/29935/stat : 29935 (pbscip) R 29932 29935 29462 0 -1 4194304 21953 0 0 0 64 4 0 0 20 0 1 0 38428099 121937920 22698 18446744073709551615 4235264 18693293 140736432379248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48599040 140736432384393 140736432384492 140736432384492 140736432390094 0
/proc/29935/statm: 29770 22698 3936 3530 0 21221 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 119080 KiB
Current children cumulated memory: 90792 KiB
[startup+1.50017 s]
/proc/loadavg: 1.23 1.10 1.50 6/264 29936
/proc/meminfo: memFree=129246416/131249988 swapFree=33010684/33010684
[pid=29935] ppid=29932 vsize=124608 memory=95784 CPUtime=1.48 cores=4,6
/proc/29935/stat : 29935 (pbscip) R 29932 29935 29462 0 -1 4194304 23207 0 0 0 144 4 0 0 20 0 1 0 38428099 127598592 23946 18446744073709551615 4235264 18693293 140736432379248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48599040 140736432384393 140736432384492 140736432384492 140736432390094 0
/proc/29935/statm: 31152 23946 3936 3530 0 22603 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 124608 KiB
Current children cumulated memory: 95784 KiB
[startup+3.10537 s]
/proc/loadavg: 1.23 1.10 1.50 6/264 29936
/proc/meminfo: memFree=129122268/131249988 swapFree=33010684/33010684
[pid=29935] ppid=29932 vsize=124608 memory=96424 CPUtime=3.08 cores=4,6
/proc/29935/stat : 29935 (pbscip) R 29932 29935 29462 0 -1 4194304 23346 0 0 0 304 4 0 0 20 0 1 0 38428099 127598592 24106 18446744073709551615 4235264 18693293 140736432379248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48599040 140736432384393 140736432384492 140736432384492 140736432390094 0
/proc/29935/statm: 31152 24106 3936 3530 0 22603 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 124608 KiB
Current children cumulated memory: 96424 KiB
[startup+6.30016 s]
/proc/loadavg: 1.53 1.16 1.52 6/264 29936
/proc/meminfo: memFree=129098348/131249988 swapFree=33010684/33010684
[pid=29935] ppid=29932 vsize=128120 memory=99428 CPUtime=6.27 cores=4,6
/proc/29935/stat : 29935 (pbscip) R 29932 29935 29462 0 -1 4194304 23602 0 0 0 623 4 0 0 20 0 1 0 38428099 131194880 24857 18446744073709551615 4235264 18693293 140736432379248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48599040 140736432384393 140736432384492 140736432384492 140736432390094 0
/proc/29935/statm: 32030 24857 3936 3530 0 23481 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 128120 KiB
Current children cumulated memory: 99428 KiB
[startup+12.7001 s]
/proc/loadavg: 1.73 1.21 1.53 6/264 29936
/proc/meminfo: memFree=129009500/131249988 swapFree=33010684/33010684
[pid=29935] ppid=29932 vsize=199476 memory=168804 CPUtime=12.65 cores=4,6
/proc/29935/stat : 29935 (pbscip) R 29932 29935 29462 0 -1 4194304 40924 0 0 0 1259 6 0 0 20 0 1 0 38428099 204263424 42201 18446744073709551615 4235264 18693293 140736432379248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48599040 140736432384393 140736432384492 140736432384492 140736432390094 0
/proc/29935/statm: 49869 42201 3968 3530 0 41320 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 199476 KiB
Current children cumulated memory: 168804 KiB
[startup+25.5002 s]
/proc/loadavg: 2.08 1.30 1.56 6/264 29936
/proc/meminfo: memFree=128917052/131249988 swapFree=33010684/33010684
[pid=29935] ppid=29932 vsize=271528 memory=233820 CPUtime=25.41 cores=4,6
/proc/29935/stat : 29935 (pbscip) R 29932 29935 29462 0 -1 4194304 58221 0 0 0 2533 8 0 0 20 0 1 0 38428099 278044672 58455 18446744073709551615 4235264 18693293 140736432379248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48599040 140736432384393 140736432384492 140736432384492 140736432390094 0
/proc/29935/statm: 67882 58455 3968 3530 0 59333 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 271528 KiB
Current children cumulated memory: 233820 KiB
[startup+51.1053 s]
/proc/loadavg: 2.91 1.58 1.65 6/265 29938
/proc/meminfo: memFree=128836104/131249988 swapFree=33010684/33010684
[pid=29935] ppid=29932 vsize=271528 memory=234972 CPUtime=50.95 cores=4,6
/proc/29935/stat : 29935 (pbscip) R 29932 29935 29462 0 -1 4194304 58515 0 0 0 5087 8 0 0 20 0 1 0 38428099 278044672 58743 18446744073709551615 4235264 18693293 140736432379248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48599040 140736432384393 140736432384492 140736432384492 140736432390094 0
/proc/29935/statm: 67882 58743 3968 3530 0 59333 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 271528 KiB
Current children cumulated memory: 234972 KiB
[startup+102.3 s]
/proc/loadavg: 3.53 1.95 1.77 6/265 29939
/proc/meminfo: memFree=128710936/131249988 swapFree=33010684/33010684
[pid=29935] ppid=29932 vsize=286940 memory=252076 CPUtime=102.01 cores=4,6
/proc/29935/stat : 29935 (pbscip) R 29932 29935 29462 0 -1 4194304 73222 0 0 0 10191 10 0 0 20 0 1 0 38428099 293826560 63019 18446744073709551615 4235264 18693293 140736432379248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48599040 140736432384393 140736432384492 140736432384492 140736432390094 0
/proc/29935/statm: 71735 63019 3968 3530 0 63186 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 286940 KiB
Current children cumulated memory: 252076 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 2.35 1.92 6/265 29946
/proc/meminfo: memFree=128648612/131249988 swapFree=33010684/33010684
[pid=29935] ppid=29932 vsize=301888 memory=267496 CPUtime=161.84 cores=4,6
/proc/29935/stat : 29935 (pbscip) R 29932 29935 29462 0 -1 4194304 84862 0 0 0 16172 12 0 0 20 0 1 0 38428099 309133312 66874 18446744073709551615 4235264 18693293 140736432379248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48599040 140736432384393 140736432384492 140736432384492 140736432390094 0
/proc/29935/statm: 75472 66874 3968 3530 0 66923 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 301888 KiB
Current children cumulated memory: 267496 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 2.68 2.06 6/265 29948
/proc/meminfo: memFree=128565212/131249988 swapFree=33010684/33010684
[pid=29935] ppid=29932 vsize=301888 memory=267880 CPUtime=221.67 cores=4,6
/proc/29935/stat : 29935 (pbscip) R 29932 29935 29462 0 -1 4194304 84961 0 0 0 22155 12 0 0 20 0 1 0 38428099 309133312 66970 18446744073709551615 4235264 18693293 140736432379248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48599040 140736432384393 140736432384492 140736432384492 140736432390094 0
/proc/29935/statm: 75472 66970 3968 3530 0 66923 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 301888 KiB
Current children cumulated memory: 267880 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 2.94 2.19 6/265 29950
/proc/meminfo: memFree=128526576/131249988 swapFree=33010684/33010684
[pid=29935] ppid=29932 vsize=312064 memory=278124 CPUtime=281.51 cores=4,6
/proc/29935/stat : 29935 (pbscip) R 29932 29935 29462 0 -1 4194304 92855 0 0 0 28137 14 0 0 20 0 1 0 38428099 319553536 69531 18446744073709551615 4235264 18693293 140736432379248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48599040 140736432384393 140736432384492 140736432384492 140736432390094 0
/proc/29935/statm: 78016 69531 3968 3530 0 69467 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 312064 KiB
Current children cumulated memory: 278124 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.15 2.31 6/266 29953
/proc/meminfo: memFree=128462976/131249988 swapFree=33010684/33010684
[pid=29935] ppid=29932 vsize=343324 memory=306036 CPUtime=341.35 cores=4,6
/proc/29935/stat : 29935 (pbscip) R 29932 29935 29462 0 -1 4194304 102498 0 0 0 34119 16 0 0 20 0 1 0 38428099 351563776 76509 18446744073709551615 4235264 18693293 140736432379248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48599040 140736432384393 140736432384492 140736432384492 140736432390094 0
/proc/29935/statm: 85831 76509 3968 3530 0 77282 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 343324 KiB
Current children cumulated memory: 306036 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.32 2.43 6/266 29955
/proc/meminfo: memFree=128441484/131249988 swapFree=33010684/33010684
[pid=29935] ppid=29932 vsize=348264 memory=312244 CPUtime=401.17 cores=4,6
/proc/29935/stat : 29935 (pbscip) R 29932 29935 29462 0 -1 4194304 106561 0 0 0 40101 16 0 0 20 0 1 0 38428099 356622336 78061 18446744073709551615 4235264 18693293 140736432379248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48599040 140736432384393 140736432384492 140736432384492 140736432390094 0
/proc/29935/statm: 87066 78061 3968 3530 0 78517 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 348264 KiB
Current children cumulated memory: 312244 KiB
[startup+462.3 s]
/proc/loadavg: 4.69 3.63 2.59 6/266 29960
/proc/meminfo: memFree=128400824/131249988 swapFree=33010684/33010684
[pid=29935] ppid=29932 vsize=357212 memory=320980 CPUtime=461.01 cores=4,6
/proc/29935/stat : 29935 (pbscip) R 29932 29935 29462 0 -1 4194304 112259 0 0 0 46084 17 0 0 20 0 1 0 38428099 365785088 80245 18446744073709551615 4235264 18693293 140736432379248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48599040 140736432384393 140736432384492 140736432384492 140736432390094 0
/proc/29935/statm: 89303 80245 3968 3530 0 80754 0
################
# More data... #
################
/proc/loadavg: 4.05 4.08 4.01 6/263 30309
/proc/meminfo: memFree=127982780/131249988 swapFree=33010684/33010684
[pid=29935] ppid=29932 vsize=441172 memory=414736 CPUtime=3153.89 cores=4,6
/proc/29935/stat : 29935 (pbscip) R 29932 29935 29462 0 -1 4194304 144308 0 0 0 315364 25 0 0 20 0 1 0 38428099 451760128 103684 18446744073709551615 4235264 18693293 140736432379248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48599040 140736432384393 140736432384492 140736432384492 140736432390094 0
/proc/29935/statm: 110293 103684 3968 3530 0 101744 0
Current children cumulated CPU time: 3153.89 s
Current children cumulated vsize: 441172 KiB
Current children cumulated memory: 414736 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.01 6/264 30316
/proc/meminfo: memFree=127952924/131249988 swapFree=33010684/33010684
[pid=29935] ppid=29932 vsize=441172 memory=414864 CPUtime=3213.7 cores=4,6
/proc/29935/stat : 29935 (pbscip) R 29932 29935 29462 0 -1 4194304 144324 0 0 0 321344 26 0 0 20 0 1 0 38428099 451760128 103716 18446744073709551615 4235264 18693293 140736432379248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48599040 140736432384393 140736432384492 140736432384492 140736432390094 0
/proc/29935/statm: 110293 103716 3968 3530 0 101744 0
Current children cumulated CPU time: 3213.7 s
Current children cumulated vsize: 441172 KiB
Current children cumulated memory: 414864 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.01 6/263 30318
/proc/meminfo: memFree=127952280/131249988 swapFree=33010684/33010684
[pid=29935] ppid=29932 vsize=441172 memory=414864 CPUtime=3273.5 cores=4,6
/proc/29935/stat : 29935 (pbscip) R 29932 29935 29462 0 -1 4194304 144330 0 0 0 327324 26 0 0 20 0 1 0 38428099 451760128 103716 18446744073709551615 4235264 18693293 140736432379248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48599040 140736432384393 140736432384492 140736432384492 140736432390094 0
/proc/29935/statm: 110293 103716 3968 3530 0 101744 0
Current children cumulated CPU time: 3273.5 s
Current children cumulated vsize: 441172 KiB
Current children cumulated memory: 414864 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.01 6/263 30320
/proc/meminfo: memFree=127952456/131249988 swapFree=33010684/33010684
[pid=29935] ppid=29932 vsize=441172 memory=414864 CPUtime=3333.3 cores=4,6
/proc/29935/stat : 29935 (pbscip) R 29932 29935 29462 0 -1 4194304 144330 0 0 0 333304 26 0 0 20 0 1 0 38428099 451760128 103716 18446744073709551615 4235264 18693293 140736432379248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48599040 140736432384393 140736432384492 140736432384492 140736432390094 0
/proc/29935/statm: 110293 103716 3968 3530 0 101744 0
Current children cumulated CPU time: 3333.3 s
Current children cumulated vsize: 441172 KiB
Current children cumulated memory: 414864 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.01 6/263 30333
/proc/meminfo: memFree=127951432/131249988 swapFree=33010684/33010684
[pid=29935] ppid=29932 vsize=455292 memory=428048 CPUtime=3393.1 cores=4,6
/proc/29935/stat : 29935 (pbscip) R 29932 29935 29462 0 -1 4194304 147619 0 0 0 339284 26 0 0 20 0 1 0 38428099 466219008 107012 18446744073709551615 4235264 18693293 140736432379248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48599040 140736432384393 140736432384492 140736432384492 140736432390094 0
/proc/29935/statm: 113823 107012 3968 3530 0 105274 0
Current children cumulated CPU time: 3393.1 s
Current children cumulated vsize: 455292 KiB
Current children cumulated memory: 428048 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.08 4.01 6/264 30336
/proc/meminfo: memFree=127950932/131249988 swapFree=33010684/33010684
[pid=29935] ppid=29932 vsize=455292 memory=428048 CPUtime=3452.9 cores=4,6
/proc/29935/stat : 29935 (pbscip) R 29932 29935 29462 0 -1 4194304 147619 0 0 0 345264 26 0 0 20 0 1 0 38428099 466219008 107012 18446744073709551615 4235264 18693293 140736432379248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48599040 140736432384393 140736432384492 140736432384492 140736432390094 0
/proc/29935/statm: 113823 107012 3968 3530 0 105274 0
Current children cumulated CPU time: 3452.9 s
Current children cumulated vsize: 455292 KiB
Current children cumulated memory: 428048 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.01 6/263 30340
/proc/meminfo: memFree=127965920/131249988 swapFree=33010684/33010684
[pid=29935] ppid=29932 vsize=455292 memory=428816 CPUtime=3512.73 cores=4,6
/proc/29935/stat : 29935 (pbscip) R 29932 29935 29462 0 -1 4194304 147620 0 0 0 351247 26 0 0 20 0 1 0 38428099 466219008 107204 18446744073709551615 4235264 18693293 140736432379248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48599040 140736432384393 140736432384492 140736432384492 140736432390094 0
/proc/29935/statm: 113823 107204 3968 3530 0 105274 0
Current children cumulated CPU time: 3512.73 s
Current children cumulated vsize: 455292 KiB
Current children cumulated memory: 428816 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.01 6/263 30342
/proc/meminfo: memFree=127966856/131249988 swapFree=33010684/33010684
[pid=29935] ppid=29932 vsize=455292 memory=428816 CPUtime=3572.58 cores=4,6
/proc/29935/stat : 29935 (pbscip) R 29932 29935 29462 0 -1 4194304 147620 0 0 0 357231 27 0 0 20 0 1 0 38428099 466219008 107204 18446744073709551615 4235264 18693293 140736432379248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48599040 140736432384393 140736432384492 140736432384492 140736432390094 0
/proc/29935/statm: 113823 107204 3968 3530 0 105274 0
Current children cumulated CPU time: 3572.58 s
Current children cumulated vsize: 455292 KiB
Current children cumulated memory: 428816 KiB
[startup+3597.08 s]
# the end of solver process 29935 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.03 s, system=0.287222 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.06 4.08 4.01 6/263 30342
/proc/meminfo: memFree=127966856/131249988 swapFree=33010684/33010684
[pid=29935] ppid=29932 vsize=455292 memory=428816 CPUtime=3574.28 cores=4,6
/proc/29935/stat : 29935 (pbscip) R 29932 29935 29462 0 -1 4194304 147620 0 0 0 357401 27 0 0 20 0 1 0 38428099 466219008 107204 18446744073709551615 4235264 18693293 140736432379248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48599040 140736432384393 140736432384492 140736432384492 140736432390094 0
/proc/29935/statm: 113823 107204 3968 3530 0 105274 0
Current children cumulated CPU time: 3574.28 s
Current children cumulated vsize: 455292 KiB
Current children cumulated memory: 428816 KiB
[startup+3590.4 s]
/proc/loadavg: 4.06 4.08 4.01 6/263 30342
/proc/meminfo: memFree=127966704/131249988 swapFree=33010684/33010684
[pid=29935] ppid=29932 vsize=455292 memory=428816 CPUtime=3580.66 cores=4,6
/proc/29935/stat : 29935 (pbscip) R 29932 29935 29462 0 -1 4194304 147620 0 0 0 358039 27 0 0 20 0 1 0 38428099 466219008 107204 18446744073709551615 4235264 18693293 140736432379248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48599040 140736432384393 140736432384492 140736432384492 140736432390094 0
/proc/29935/statm: 113823 107204 3968 3530 0 105274 0
Current children cumulated CPU time: 3580.66 s
Current children cumulated vsize: 455292 KiB
Current children cumulated memory: 428816 KiB
[startup+3593.6 s]
/proc/loadavg: 4.05 4.08 4.01 6/263 30342
/proc/meminfo: memFree=127966744/131249988 swapFree=33010684/33010684
[pid=29935] ppid=29932 vsize=455292 memory=428816 CPUtime=3583.85 cores=4,6
/proc/29935/stat : 29935 (pbscip) R 29932 29935 29462 0 -1 4194304 147632 0 0 0 358358 27 0 0 20 0 1 0 38428099 466219008 107204 18446744073709551615 4235264 18693293 140736432379248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48599040 140736432384393 140736432384492 140736432384492 140736432390094 0
/proc/29935/statm: 113823 107204 3968 3530 0 105274 0
Current children cumulated CPU time: 3583.85 s
Current children cumulated vsize: 455292 KiB
Current children cumulated memory: 428816 KiB
[startup+3595.2 s]
/proc/loadavg: 4.05 4.08 4.01 6/263 30342
/proc/meminfo: memFree=127966760/131249988 swapFree=33010684/33010684
[pid=29935] ppid=29932 vsize=455292 memory=428816 CPUtime=3585.45 cores=4,6
/proc/29935/stat : 29935 (pbscip) R 29932 29935 29462 0 -1 4194304 147632 0 0 0 358518 27 0 0 20 0 1 0 38428099 466219008 107204 18446744073709551615 4235264 18693293 140736432379248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48599040 140736432384393 140736432384492 140736432384492 140736432390094 0
/proc/29935/statm: 113823 107204 3968 3530 0 105274 0
Current children cumulated CPU time: 3585.45 s
Current children cumulated vsize: 455292 KiB
Current children cumulated memory: 428816 KiB
[startup+3596 s]*
/proc/loadavg: 4.05 4.08 4.01 6/263 30342
/proc/meminfo: memFree=127966784/131249988 swapFree=33010684/33010684
[pid=29935] ppid=29932 vsize=455292 memory=428816 CPUtime=3586.25 cores=4,6
/proc/29935/stat : 29935 (pbscip) R 29932 29935 29462 0 -1 4194304 147632 0 0 0 358598 27 0 0 20 0 1 0 38428099 466219008 107204 18446744073709551615 4235264 18693293 140736432379248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48599040 140736432384393 140736432384492 140736432384492 140736432390094 0
/proc/29935/statm: 113823 107204 3968 3530 0 105274 0
Current children cumulated CPU time: 3586.25 s
Current children cumulated vsize: 455292 KiB
Current children cumulated memory: 428816 KiB
[startup+3596.8 s]
/proc/loadavg: 4.05 4.08 4.01 6/263 30342
/proc/meminfo: memFree=127966784/131249988 swapFree=33010684/33010684
[pid=29935] ppid=29932 vsize=455292 memory=428816 CPUtime=3587.03 cores=4,6
/proc/29935/stat : 29935 (pbscip) R 29932 29935 29462 0 -1 4194304 147632 0 0 0 358676 27 0 0 20 0 1 0 38428099 466219008 107204 18446744073709551615 4235264 18693293 140736432379248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48599040 140736432384393 140736432384492 140736432384492 140736432390094 0
/proc/29935/statm: 113823 107204 3968 3530 0 105274 0
Current children cumulated CPU time: 3587.03 s
Current children cumulated vsize: 455292 KiB
Current children cumulated memory: 428816 KiB
[startup+3597 s]*
/proc/loadavg: 4.05 4.08 4.01 3/255 30358
/proc/meminfo: memFree=129104300/131249988 swapFree=33010684/33010684
[pid=29935] ppid=29932 vsize=455292 memory=428816 CPUtime=3587.24 cores=4,6
/proc/29935/stat : 29935 (pbscip) R 29932 29935 29462 0 -1 4194304 147632 0 0 0 358696 28 0 0 20 0 1 0 38428099 466219008 107204 18446744073709551615 4235264 18693293 140736432379248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48599040 140736432384393 140736432384492 140736432384492 140736432390094 0
/proc/29935/statm: 113823 107204 3968 3530 0 105274 0
Current children cumulated CPU time: 3587.24 s
Current children cumulated vsize: 455292 KiB
Current children cumulated memory: 428816 KiB
Child status: 0
Real time (s): 3597.08
CPU time (s): 3587.32
CPU user time (s): 3587.03
CPU system time (s): 0.287222
CPU usage (%): 99.7285
Max. virtual memory (cumulated for all children) (KiB): 455292
Max. memory (cumulated for all children) (KiB): 428816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.03
system time used= 0.287222
maximum resident set size= 428816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147641
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= 109
involuntary context switches= 1489
# summary of solver processes directly reported to runsolver:
# pid: 29935
# total CPU time (s): 3587.32
# total CPU user time (s): 3587.03
# total CPU system time (s): 0.287222
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.81914 second user time and 15.4907 second system time
The end