0.00/0.02 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.02 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.02 c
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c reading problem <HOME/instance-4544930-1753233476.opb>
0.21/0.25 c original problem has 4437 variables (4437 bin, 0 int, 0 impl, 0 cont) and 40924 constraints
0.21/0.25 c problem read in 0.24
0.21/0.25 c No objective function, only one solution is needed.
0.31/0.39 c presolving:
0.51/0.61 c (0.6s) running MILP presolver
0.68/0.73 c (0.7s) MILP presolver found nothing
0.78/0.90 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 972 chg coeffs, 40924 upgd conss, 0 impls, 4455 clqs
0.87/0.97 c (round 2, medium) 0 del vars, 972 del conss, 6912 add conss, 0 chg bounds, 0 chg sides, 972 chg coeffs, 40924 upgd conss, 0 impls, 11367 clqs
1.00/1.07 c (round 3, exhaustive) 0 del vars, 8856 del conss, 7884 add conss, 0 chg bounds, 0 chg sides, 972 chg coeffs, 40924 upgd conss, 0 impls, 11367 clqs
2.27/2.34 c (2.3s) probing: 1000/4437 (22.5%) - 0 fixings, 0 aggregations, 43926 implications, 0 bound changes
2.27/2.34 c (2.3s) probing: 1001/4437 (22.6%) - 0 fixings, 0 aggregations, 43931 implications, 0 bound changes
2.27/2.34 c (2.3s) probing aborted: 1000/1000 successive useless probings
2.27/2.34 c (2.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2.47/2.53 c (2.5s) symmetry computation finished: 9 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.11)
2.47/2.53 c dynamic symmetry handling statistics:
2.47/2.53 c orbitopal reduction: no components
2.47/2.53 c orbital reduction: 1 components of sizes 9
2.47/2.53 c lexicographic reduction: 9 permutations with support sizes 986, 986, 986, 986, 986, 986, 986, 986, 4392
2.47/2.53 c handled 1 out of 1 symmetry components
2.47/2.56 c presolving (4 rounds: 4 fast, 4 medium, 3 exhaustive):
2.47/2.56 c 0 deleted vars, 8856 deleted constraints, 7884 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 972 changed coefficients
2.47/2.56 c 0 implications, 55298 cliques
2.47/2.56 c presolved problem has 4437 variables (4437 bin, 0 int, 0 impl, 0 cont) and 39952 constraints
2.47/2.56 c 4455 constraints of type <setppc>
2.47/2.56 c 972 constraints of type <and>
2.47/2.56 c 34525 constraints of type <logicor>
2.47/2.56 c transformed objective value is always integral (scale: 1)
2.47/2.56 c Presolving Time: 2.17
2.47/2.56 c - non default parameters ----------------------------------------------------------------------
2.47/2.56 c # SCIP version 10.0.0
2.47/2.56 c
2.47/2.56 c # maximal time in seconds to run
2.47/2.56 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
2.47/2.56 c limits/time = 3596.993092
2.47/2.56 c
2.47/2.56 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.47/2.56 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
2.47/2.56 c limits/memory = 27900
2.47/2.56 c
2.47/2.56 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
2.47/2.56 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
2.47/2.56 c limits/solutions = 1
2.47/2.56 c
2.47/2.56 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.
2.47/2.56 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
2.47/2.56 c misc/usesymmetry = 3
2.47/2.56 c
2.47/2.56 c # belongs reading time to solving time?
2.47/2.56 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
2.47/2.56 c timing/reading = TRUE
2.47/2.56 c
2.47/2.56 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
2.47/2.56 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
2.47/2.56 c propagating/symmetry/detectdoublelex = FALSE
2.47/2.56 c
2.47/2.56 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
2.47/2.56 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
2.47/2.56 c propagating/symmetry/detectsubgroups = FALSE
2.47/2.56 c
2.47/2.56 c # Type of symmetries that shall be computed?
2.47/2.56 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
2.47/2.56 c propagating/symmetry/symtype = 1
2.47/2.56 c
2.47/2.56 c # Should components consisting of a single full reflection be handled?
2.47/2.56 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
2.47/2.56 c propagating/symmetry/usesimplesgncomp = FALSE
2.47/2.56 c
2.47/2.56 c -----------------------------------------------------------------------------------------------
2.47/2.56 c start solving
2.47/2.56 c
3.87/3.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.87/3.97 c 4.0s| 1 | 0 | 11449 | - | 161M | 0 |4437 | 40k| 40k| 0 | 0 | 90 | 0 | 0.000000e+00 | -- | Inf | unknown
9.35/9.41 c 9.4s| 1 | 0 | 32850 | - | 191M | 0 |4437 | 40k| 41k| 950 | 1 | 91 | 0 | 0.000000e+00 | -- | Inf | unknown
10.14/10.21 c 10.2s| 1 | 0 | 37512 | - | 191M | 0 |4437 | 40k| 42k|1620 | 2 | 92 | 0 | 0.000000e+00 | -- | Inf | unknown
11.95/12.08 c 12.1s| 1 | 0 | 41288 | - | 193M | 0 |4437 | 40k| 43k|2304 | 3 | 93 | 0 | 0.000000e+00 | -- | Inf | unknown
14.43/14.54 c 14.5s| 1 | 0 | 45451 | - | 201M | 0 |4437 | 40k| 43k|2815 | 4 | 102 | 0 | 0.000000e+00 | -- | Inf | unknown
17.42/17.53 c 17.5s| 1 | 0 | 49348 | - | 207M | 0 |4437 | 40k| 44k|3191 | 5 | 103 | 0 | 0.000000e+00 | -- | Inf | unknown
19.71/19.86 c 19.8s| 1 | 0 | 52029 | - | 212M | 0 |4437 | 40k| 44k|3454 | 6 | 104 | 0 | 0.000000e+00 | -- | Inf | unknown
22.10/22.28 c 22.3s| 1 | 0 | 54764 | - | 218M | 0 |4437 | 40k| 44k|3695 | 7 | 105 | 0 | 0.000000e+00 | -- | Inf | unknown
24.58/24.72 c 24.7s| 1 | 0 | 57045 | - | 228M | 0 |4437 | 40k| 44k|3929 | 8 | 106 | 0 | 0.000000e+00 | -- | Inf | unknown
27.28/27.41 c 27.4s| 1 | 0 | 59859 | - | 237M | 0 |4437 | 40k| 45k|4078 | 9 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
29.99/30.16 c 30.1s| 1 | 0 | 62411 | - | 250M | 0 |4437 | 40k| 45k|4236 | 10 | 108 | 0 | 0.000000e+00 | -- | Inf | unknown
32.77/32.91 c 32.9s| 1 | 0 | 65007 | - | 255M | 0 |4437 | 40k| 45k|4377 | 11 | 109 | 0 | 0.000000e+00 | -- | Inf | unknown
47.02/47.26 c 47.2s| 1 | 2 | 71722 | - | 255M | 0 |4437 | 40k| 45k|4377 | 11 | 128 | 19 | 0.000000e+00 | -- | Inf | unknown
287.40/288.29 c 288s| 100 | 13 |289853 |2271.2 | 258M | 21 |4437 | 40k| 0 |7569 | 0 | 265 | 19 | 0.000000e+00 | -- | Inf | 82.90%
331.38/332.38 c 332s| 200 | 11 |434841 |1858.5 | 259M | 25 |4437 | 40k| 43k| 11k| 0 | 469 | 19 | 0.000000e+00 | -- | Inf | 82.93%
364.19/365.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
364.19/365.24 c 365s| 300 | 13 |533279 |1566.1 | 259M | 26 |4437 | 40k| 0 | 13k| 0 | 569 | 19 | 0.000000e+00 | -- | Inf | 82.96%
396.79/398.00 c 398s| 400 | 11 |631563 |1419.9 | 260M | 31 |4437 | 40k| 43k| 16k| 2 | 698 | 19 | 0.000000e+00 | -- | Inf | 82.96%
439.45/440.76 c 441s| 500 | 16 |744692 |1362.1 | 261M | 31 |4437 | 40k| 43k| 19k| 2 | 779 | 19 | 0.000000e+00 | -- | Inf | 83.18%
481.73/483.17 c 483s| 600 | 17 |860680 |1328.3 | 261M | 31 |4437 | 40k| 0 | 21k| 0 | 944 | 19 | 0.000000e+00 | -- | Inf | 83.18%
522.78/524.34 c 524s| 700 | 20 |977269 |1305.1 | 261M | 31 |4437 | 40k| 43k| 25k| 2 |1056 | 19 | 0.000000e+00 | -- | Inf | 83.18%
543.71/545.38 c 545s| 800 | 18 | 1043k|1224.7 | 262M | 31 |4437 | 40k| 0 | 27k| 0 |1170 | 19 | 0.000000e+00 | -- | Inf | 83.18%
572.72/574.48 c 574s| 900 | 17 | 1129k|1183.6 | 263M | 31 |4437 | 40k| 43k| 29k| 2 |1281 | 19 | 0.000000e+00 | -- | Inf | 83.19%
598.93/600.73 c 601s| 1000 | 16 | 1213k|1149.4 | 263M | 33 |4437 | 40k| 0 | 32k| 0 |1393 | 19 | 0.000000e+00 | -- | Inf | 83.19%
629.03/630.98 c 631s| 1100 | 21 | 1314k|1136.6 | 263M | 33 |4437 | 41k| 0 | 34k| 0 |1524 | 19 | 0.000000e+00 | -- | Inf | 83.19%
657.44/659.42 c 659s| 1200 | 18 | 1410k|1122.0 | 263M | 33 |4437 | 41k| 0 | 37k| 0 |1680 | 19 | 0.000000e+00 | -- | Inf | 83.19%
688.24/690.37 c 690s| 1300 | 16 | 1508k|1111.0 | 264M | 33 |4437 | 41k| 0 | 40k| 0 |1837 | 19 | 0.000000e+00 | -- | Inf | 83.19%
719.33/721.56 c 722s| 1400 | 18 | 1602k|1098.7 | 264M | 37 |4437 | 41k| 43k| 42k| 2 |1957 | 19 | 0.000000e+00 | -- | Inf | 83.19%
747.64/749.93 c 750s| 1500 | 16 | 1690k|1084.7 | 264M | 37 |4437 | 41k| 0 | 44k| 0 |2120 | 19 | 0.000000e+00 | -- | Inf | 83.19%
773.96/776.34 c 776s| 1600 | 16 | 1780k|1072.9 | 264M | 37 |4437 | 41k| 0 | 47k| 0 |2244 | 19 | 0.000000e+00 | -- | Inf | 83.19%
801.27/803.71 c 804s| 1700 | 13 | 1866k|1060.3 | 265M | 37 |4437 | 41k| 0 | 49k| 0 |2330 | 19 | 0.000000e+00 | -- | Inf | 83.19%
826.19/828.76 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
826.19/828.76 c (run 1, node 1772) performing user restart
826.19/828.76 c
826.19/828.77 c (restart) converted 1283 cuts from the global cut pool into linear constraints
826.19/828.77 c
826.29/828.82 c presolving:
826.29/828.84 c (round 1, fast) 4 del vars, 69 del conss, 1 add conss, 0 chg bounds, 1 chg sides, 328 chg coeffs, 0 upgd conss, 0 impls, 55168 clqs
826.29/828.87 c (round 2, medium) 22 del vars, 69 del conss, 3 add conss, 0 chg bounds, 4 chg sides, 333 chg coeffs, 0 upgd conss, 0 impls, 54829 clqs
826.29/828.88 c (round 3, fast) 22 del vars, 106 del conss, 3 add conss, 0 chg bounds, 4 chg sides, 333 chg coeffs, 0 upgd conss, 0 impls, 54829 clqs
826.39/828.95 c (round 4, exhaustive) 31 del vars, 115 del conss, 3 add conss, 0 chg bounds, 4 chg sides, 333 chg coeffs, 0 upgd conss, 0 impls, 54039 clqs
826.39/828.96 c (round 5, fast) 31 del vars, 609 del conss, 3 add conss, 0 chg bounds, 4 chg sides, 333 chg coeffs, 0 upgd conss, 0 impls, 54039 clqs
826.51/829.02 c (round 6, exhaustive) 31 del vars, 610 del conss, 3 add conss, 0 chg bounds, 4 chg sides, 333 chg coeffs, 1280 upgd conss, 0 impls, 54039 clqs
826.61/829.13 c (round 7, exhaustive) 31 del vars, 722 del conss, 9 add conss, 0 chg bounds, 4 chg sides, 432 chg coeffs, 1280 upgd conss, 0 impls, 54039 clqs
826.79/829.30 c presolving (8 rounds: 8 fast, 5 medium, 4 exhaustive):
826.79/829.30 c 31 deleted vars, 722 deleted constraints, 9 added constraints, 0 tightened bounds, 0 added holes, 4 changed sides, 476 changed coefficients
826.79/829.30 c 0 implications, 54039 cliques
826.79/829.30 c presolved problem has 4406 variables (4406 bin, 0 int, 0 impl, 0 cont) and 42042 constraints
826.79/829.30 c 80 constraints of type <knapsack>
826.79/829.30 c 5537 constraints of type <setppc>
826.79/829.30 c 967 constraints of type <and>
826.79/829.30 c 2 constraints of type <linear>
826.79/829.30 c 35456 constraints of type <logicor>
826.79/829.30 c transformed objective value is always integral (scale: 1)
826.79/829.30 c Presolving Time: 2.66
826.79/829.30 c
828.29/830.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
828.29/830.82 c 831s| 1 | 0 | 1952k| - | 253M | 0 |4406 | 42k| 41k| 0 | 0 |2419 | 19 | 0.000000e+00 | -- | Inf | unknown
830.78/833.36 c 833s| 1 | 0 | 1958k| - | 270M | 0 |4406 | 42k| 42k| 865 | 1 |2420 | 19 | 0.000000e+00 | -- | Inf | unknown
831.49/834.02 c 834s| 1 | 0 | 1962k| - | 270M | 0 |4406 | 42k| 42k|1429 | 2 |2421 | 19 | 0.000000e+00 | -- | Inf | unknown
833.49/836.08 c 836s| 1 | 0 | 1966k| - | 276M | 0 |4406 | 42k| 43k|2026 | 3 |2423 | 19 | 0.000000e+00 | -- | Inf | unknown
835.37/838.00 c 838s| 1 | 0 | 1968k| - | 281M | 0 |4406 | 42k| 43k|2399 | 4 |2424 | 19 | 0.000000e+00 | -- | Inf | unknown
837.66/840.20 c 840s| 1 | 0 | 1970k| - | 285M | 0 |4406 | 42k| 44k|2661 | 5 |2431 | 19 | 0.000000e+00 | -- | Inf | unknown
839.57/842.12 c 842s| 1 | 0 | 1972k| - | 291M | 0 |4406 | 42k| 44k|2878 | 6 |2432 | 19 | 0.000000e+00 | -- | Inf | unknown
841.35/843.97 c 844s| 1 | 0 | 1973k| - | 296M | 0 |4406 | 42k| 44k|3078 | 7 |2433 | 19 | 0.000000e+00 | -- | Inf | unknown
843.46/846.10 c 846s| 1 | 0 | 1975k| - | 301M | 0 |4406 | 42k| 44k|3233 | 8 |2434 | 19 | 0.000000e+00 | -- | Inf | unknown
846.04/848.63 c 849s| 1 | 0 | 1977k| - | 306M | 0 |4406 | 42k| 44k|3362 | 9 |2435 | 19 | 0.000000e+00 | -- | Inf | unknown
848.83/851.44 c 851s| 1 | 0 | 1980k| - | 316M | 0 |4406 | 42k| 45k|3506 | 10 |2436 | 19 | 0.000000e+00 | -- | Inf | unknown
851.54/854.16 c 854s| 1 | 0 | 1983k| - | 325M | 0 |4406 | 42k| 45k|3623 | 11 |2437 | 19 | 0.000000e+00 | -- | Inf | unknown
867.68/870.38 c 870s| 1 | 2 | 1992k| - | 325M | 0 |4406 | 42k| 45k|3623 | 11 |2448 | 38 | 0.000000e+00 | -- | Inf | unknown
912.73/915.59 c 916s| 100 | 17 | 2126k|1079.1 | 329M | 21 |4406 | 42k| 0 |7363 | 0 |2639 | 38 | 0.000000e+00 | -- | Inf | 2.82%
934.27/937.11 c 937s| 200 | 19 | 2203k|1063.3 | 330M | 21 |4406 | 42k| 43k|9916 | 2 |2785 | 38 | 0.000000e+00 | -- | Inf | 3.30%
961.19/964.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
961.19/964.16 c 964s| 300 | 20 | 2287k|1052.8 | 331M | 21 |4406 | 42k| 43k| 13k| 2 |2930 | 38 | 0.000000e+00 | -- | Inf | 5.41%
998.45/1001.53 c 1002s| 400 | 26 | 2402k|1057.2 | 332M | 21 |4406 | 42k| 0 | 17k| 0 |3088 | 38 | 0.000000e+00 | -- | Inf | 7.05%
1067.65/1070.91 c 1071s| 500 | 32 | 2516k|1060.6 | 333M | 21 |4406 | 42k| 0 | 20k| 0 |3283 | 38 | 0.000000e+00 | -- | Inf | 7.24%
1105.53/1108.99 c 1109s| 600 | 33 | 2639k|1067.8 | 335M | 22 |4406 | 42k| 43k| 23k| 2 |3467 | 38 | 0.000000e+00 | -- | Inf | 7.77%
1143.11/1146.63 c 1147s| 700 | 30 | 2760k|1073.6 | 341M | 23 |4406 | 42k| 0 | 27k| 0 |3659 | 38 | 0.000000e+00 | -- | Inf | 9.70%
1174.31/1177.95 c 1178s| 800 | 31 | 2864k|1072.2 | 342M | 23 |4406 | 42k| 0 | 31k| 0 |3822 | 38 | 0.000000e+00 | -- | Inf | 10.14%
1199.13/1202.84 c 1203s| 900 | 30 | 2952k|1065.2 | 342M | 23 |4406 | 43k| 43k| 34k| 2 |3952 | 38 | 0.000000e+00 | -- | Inf | 10.84%
1241.21/1245.03 c 1245s| 1000 | 32 | 3079k|1072.5 | 344M | 23 |4406 | 43k| 0 | 38k| 0 |4085 | 38 | 0.000000e+00 | -- | Inf | 11.45%
1271.60/1275.58 c 1276s| 1100 | 27 | 3176k|1069.1 | 345M | 23 |4406 | 43k| 0 | 41k| 0 |4194 | 38 | 0.000000e+00 | -- | Inf | 11.75%
1300.40/1304.48 c 1304s| 1200 | 24 | 3269k|1064.3 | 346M | 26 |4406 | 43k| 42k| 44k| 2 |4324 | 38 | 0.000000e+00 | -- | Inf | 12.01%
1354.75/1358.98 c 1359s| 1300 | 28 | 3370k|1062.6 | 346M | 26 |4406 | 43k| 43k| 47k| 2 |4446 | 38 | 0.000000e+00 | -- | Inf | 12.26%
1385.54/1389.89 c 1390s| 1400 | 29 | 3470k|1060.6 | 347M | 26 |4406 | 43k| 0 | 50k| 0 |4573 | 38 | 0.000000e+00 | -- | Inf | 12.33%
1418.14/1422.57 c 1423s| 1500 | 29 | 3574k|1059.9 | 347M | 26 |4406 | 43k| 0 | 53k| 0 |4693 | 38 | 0.000000e+00 | -- | Inf | 12.43%
1449.03/1453.57 c 1454s| 1600 | 30 | 3683k|1060.8 | 348M | 28 |4406 | 43k| 43k| 56k| 2 |4811 | 38 | 0.000000e+00 | -- | Inf | 12.44%
1483.01/1487.64 c 1488s| 1700 | 24 | 3796k|1062.8 | 349M | 28 |4406 | 43k| 43k| 59k| 2 |4966 | 38 | 0.000000e+00 | -- | Inf | 12.53%
1510.82/1515.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1510.82/1515.52 c 1516s| 1800 | 20 | 3889k|1059.1 | 354M | 29 |4406 | 43k| 42k| 62k| 2 |5103 | 38 | 0.000000e+00 | -- | Inf | 12.77%
1559.77/1564.69 c 1565s| 1900 | 22 | 3992k|1058.3 | 355M | 29 |4406 | 43k| 0 | 65k| 0 |5293 | 38 | 0.000000e+00 | -- | Inf | 12.93%
1579.61/1584.54 c 1585s| 2000 | 16 | 4065k|1049.6 | 355M | 29 |4406 | 43k| 0 | 68k| 0 |5418 | 38 | 0.000000e+00 | -- | Inf | 13.04%
1611.80/1616.85 c 1617s| 2100 | 23 | 4160k|1047.1 | 356M | 29 |4406 | 43k| 0 | 71k| 0 |5570 | 38 | 0.000000e+00 | -- | Inf | 13.10%
1640.10/1645.26 c 1645s| 2200 | 29 | 4245k|1042.1 | 361M | 29 |4406 | 43k| 0 | 74k| 0 |5705 | 38 | 0.000000e+00 | -- | Inf | 13.12%
1675.38/1680.66 c 1681s| 2300 | 26 | 4357k|1044.0 | 362M | 29 |4406 | 43k| 0 | 77k| 0 |5891 | 38 | 0.000000e+00 | -- | Inf | 13.70%
1711.46/1716.87 c 1717s| 2400 | 28 | 4473k|1046.9 | 362M | 29 |4406 | 44k| 43k| 79k| 2 |6042 | 38 | 0.000000e+00 | -- | Inf | 13.85%
1743.05/1748.50 c 1748s| 2500 | 30 | 4580k|1047.4 | 363M | 29 |4406 | 44k| 43k| 82k| 2 |6181 | 38 | 0.000000e+00 | -- | Inf | 14.05%
1773.95/1779.59 c 1780s| 2600 | 30 | 4683k|1047.0 | 363M | 29 |4406 | 44k| 43k| 85k| 2 |6350 | 38 | 0.000000e+00 | -- | Inf | 14.16%
1800.96/1806.65 c 1807s| 2700 | 27 | 4782k|1045.6 | 364M | 29 |4406 | 44k| 43k| 88k| 2 |6500 | 38 | 0.000000e+00 | -- | Inf | 14.24%
1825.18/1830.90 c 1831s| 2800 | 30 | 4875k|1043.2 | 364M | 29 |4406 | 44k| 43k| 91k| 2 |6636 | 38 | 0.000000e+00 | -- | Inf | 14.27%
1862.76/1868.66 c 1869s| 2900 | 29 | 4993k|1046.0 | 370M | 29 |4406 | 44k| 43k| 95k| 2 |6830 | 38 | 0.000000e+00 | -- | Inf | 14.74%
1892.36/1898.38 c 1898s| 3000 | 28 | 5093k|1045.0 | 371M | 29 |4406 | 44k| 0 | 98k| 0 |7002 | 38 | 0.000000e+00 | -- | Inf | 15.05%
1920.27/1926.34 c 1926s| 3100 | 26 | 5185k|1042.6 | 371M | 29 |4406 | 44k| 0 | 100k| 0 |7132 | 38 | 0.000000e+00 | -- | Inf | 15.23%
1944.79/1950.97 c 1951s| 3200 | 26 | 5267k|1038.0 | 372M | 29 |4406 | 44k| 43k| 103k| 2 |7263 | 38 | 0.000000e+00 | -- | Inf | 15.26%
1978.08/1984.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1978.08/1984.37 c 1984s| 3300 | 27 | 5376k|1039.1 | 373M | 29 |4406 | 44k| 0 | 106k| 0 |7450 | 38 | 0.000000e+00 | -- | Inf | 15.32%
2011.37/2017.72 c 2018s| 3400 | 30 | 5487k|1040.4 | 373M | 29 |4406 | 45k| 43k| 109k| 2 |7644 | 38 | 0.000000e+00 | -- | Inf | 15.34%
2038.48/2045.01 c 2045s| 3500 | 25 | 5580k|1038.3 | 373M | 29 |4406 | 45k| 0 | 111k| 0 |7773 | 38 | 0.000000e+00 | -- | Inf | 15.41%
2110.06/2116.73 c 2117s| 3600 | 33 | 5691k|1039.7 | 374M | 29 |4406 | 45k| 43k| 114k| 2 |7946 | 38 | 0.000000e+00 | -- | Inf | 15.42%
2132.88/2139.60 c 2140s| 3700 | 32 | 5766k|1034.4 | 374M | 29 |4406 | 45k| 0 | 116k| 0 |8087 | 38 | 0.000000e+00 | -- | Inf | 16.21%
2162.29/2169.13 c 2169s| 3800 | 35 | 5865k|1033.7 | 374M | 29 |4406 | 45k| 43k| 119k| 2 |8213 | 38 | 0.000000e+00 | -- | Inf | 16.22%
2190.49/2197.48 c 2197s| 3900 | 32 | 5967k|1033.4 | 375M | 29 |4406 | 45k| 43k| 122k| 2 |8370 | 38 | 0.000000e+00 | -- | Inf | 16.30%
2217.50/2224.52 c 2225s| 4000 | 31 | 6060k|1031.6 | 376M | 29 |4406 | 45k| 42k| 126k| 2 |8581 | 38 | 0.000000e+00 | -- | Inf | 16.34%
2239.12/2246.20 c 2246s| 4100 | 31 | 6137k|1027.1 | 376M | 29 |4406 | 45k| 43k| 128k| 2 |8706 | 38 | 0.000000e+00 | -- | Inf | 16.35%
2266.63/2273.88 c 2274s| 4200 | 29 | 6236k|1026.5 | 377M | 29 |4406 | 45k| 43k| 132k| 2 |8831 | 38 | 0.000000e+00 | -- | Inf | 16.36%
2289.77/2297.03 c 2297s| 4300 | 26 | 6315k|1022.7 | 377M | 29 |4406 | 45k| 0 | 134k| 0 |8954 | 38 | 0.000000e+00 | -- | Inf | 16.37%
2320.06/2327.48 c 2327s| 4400 | 22 | 6416k|1022.4 | 377M | 29 |4406 | 45k| 43k| 138k| 2 |9086 | 38 | 0.000000e+00 | -- | Inf | 16.37%
2355.94/2363.48 c 2363s| 4500 | 25 | 6525k|1023.4 | 378M | 29 |4406 | 45k| 43k| 141k| 2 |9257 | 38 | 0.000000e+00 | -- | Inf | 16.91%
2386.84/2394.48 c 2394s| 4600 | 28 | 6629k|1023.8 | 379M | 29 |4406 | 45k| 43k| 145k| 2 |9410 | 38 | 0.000000e+00 | -- | Inf | 17.11%
2414.65/2422.32 c 2422s| 4700 | 27 | 6719k|1021.8 | 379M | 29 |4406 | 45k| 0 | 147k| 0 |9567 | 38 | 0.000000e+00 | -- | Inf | 17.29%
2435.68/2443.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2435.68/2443.45 c 2443s| 4800 | 25 | 6789k|1016.9 | 379M | 29 |4406 | 46k| 43k| 150k| 2 |9723 | 38 | 0.000000e+00 | -- | Inf | 17.42%
2455.61/2463.46 c 2463s| 4900 | 25 | 6864k|1012.9 | 379M | 29 |4406 | 46k| 0 | 153k| 0 |9878 | 38 | 0.000000e+00 | -- | Inf | 17.47%
2483.42/2491.33 c 2491s| 5000 | 23 | 6956k|1011.5 | 380M | 29 |4406 | 46k| 0 | 155k| 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 17.72%
2510.33/2518.39 c 2518s| 5100 | 24 | 7049k|1010.4 | 381M | 29 |4406 | 46k| 0 | 159k| 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 17.78%
2534.96/2543.08 c 2543s| 5200 | 23 | 7135k|1008.1 | 381M | 29 |4406 | 46k| 42k| 162k| 2 | 10k| 38 | 0.000000e+00 | -- | Inf | 17.88%
2557.67/2565.82 c 2566s| 5300 | 21 | 7217k|1005.5 | 382M | 29 |4406 | 46k| 43k| 165k| 2 | 10k| 38 | 0.000000e+00 | -- | Inf | 17.93%
2595.77/2604.09 c 2604s| 5400 | 27 | 7332k|1007.6 | 387M | 29 |4406 | 46k| 43k| 168k| 2 | 10k| 38 | 0.000000e+00 | -- | Inf | 18.26%
2656.39/2664.85 c 2665s| 5500 | 27 | 7435k|1007.9 | 390M | 31 |4406 | 46k| 0 | 171k| 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 18.42%
2678.82/2687.35 c 2687s| 5600 | 27 | 7515k|1005.0 | 390M | 31 |4406 | 46k| 43k| 173k| 2 | 10k| 38 | 0.000000e+00 | -- | Inf | 18.51%
2710.02/2718.68 c 2719s| 5700 | 25 | 7622k|1005.9 | 390M | 31 |4406 | 46k| 43k| 176k| 2 | 10k| 38 | 0.000000e+00 | -- | Inf | 18.55%
2737.83/2746.51 c 2746s| 5800 | 27 | 7718k|1005.3 | 390M | 31 |4406 | 46k| 43k| 179k| 2 | 11k| 38 | 0.000000e+00 | -- | Inf | 18.59%
2776.00/2784.87 c 2785s| 5900 | 21 | 7841k|1008.3 | 391M | 31 |4406 | 46k| 43k| 182k| 2 | 11k| 38 | 0.000000e+00 | -- | Inf | 18.70%
2803.51/2812.48 c 2812s| 6000 | 21 | 7935k|1007.4 | 391M | 31 |4406 | 46k| 43k| 185k| 2 | 11k| 38 | 0.000000e+00 | -- | Inf | 18.72%
2828.83/2837.89 c 2838s| 6100 | 22 | 8013k|1004.5 | 391M | 31 |4406 | 46k| 0 | 188k| 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 18.89%
2852.85/2861.99 c 2862s| 6200 | 25 | 8093k|1002.0 | 392M | 31 |4406 | 46k| 43k| 190k| 2 | 11k| 38 | 0.000000e+00 | -- | Inf | 18.94%
2875.37/2884.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2875.37/2884.54 c 2885s| 6300 | 24 | 8173k| 999.3 | 392M | 31 |4406 | 47k| 43k| 193k| 2 | 11k| 38 | 0.000000e+00 | -- | Inf | 19.06%
2904.79/2914.08 c 2914s| 6400 | 25 | 8274k| 999.5 | 392M | 31 |4406 | 47k| 0 | 196k| 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 19.09%
2940.87/2950.22 c 2950s| 6500 | 22 | 8397k|1002.3 | 392M | 31 |4406 | 47k| 43k| 199k| 2 | 12k| 38 | 0.000000e+00 | -- | Inf | 19.11%
2977.66/2987.17 c 2987s| 6600 | 23 | 8512k|1004.1 | 393M | 31 |4406 | 47k| 0 | 202k| 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 19.20%
3004.17/3013.73 c 3014s| 6700 | 24 | 8600k|1002.6 | 393M | 31 |4406 | 47k| 42k| 205k| 2 | 12k| 38 | 0.000000e+00 | -- | Inf | 19.26%
3033.40/3043.11 c 3043s| 6800 | 24 | 8692k|1001.7 | 393M | 31 |4406 | 47k| 0 | 208k| 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 19.32%
3062.58/3072.35 c 3072s| 6900 | 24 | 8791k|1001.6 | 393M | 31 |4406 | 47k| 43k| 210k| 2 | 12k| 38 | 0.000000e+00 | -- | Inf | 19.34%
3103.26/3113.17 c 3113s| 7000 | 26 | 8927k|1005.6 | 394M | 31 |4406 | 47k| 43k| 214k| 2 | 12k| 38 | 0.000000e+00 | -- | Inf | 19.36%
3125.48/3135.45 c 3135s| 7100 | 24 | 9004k|1002.9 | 394M | 31 |4406 | 47k| 43k| 217k| 2 | 12k| 38 | 0.000000e+00 | -- | Inf | 19.37%
3150.79/3160.85 c 3161s| 7200 | 24 | 9091k|1001.4 | 394M | 31 |4406 | 47k| 0 | 220k| 0 | 13k| 38 | 0.000000e+00 | -- | Inf | 19.38%
3183.68/3193.89 c 3194s| 7300 | 29 | 9191k|1001.5 | 394M | 31 |4406 | 47k| 43k| 223k| 2 | 13k| 38 | 0.000000e+00 | -- | Inf | 19.39%
3221.16/3231.41 c 3231s| 7400 | 30 | 9305k|1002.9 | 394M | 31 |4406 | 47k| 43k| 226k| 2 | 13k| 38 | 0.000000e+00 | -- | Inf | 19.41%
3247.27/3257.68 c 3258s| 7500 | 31 | 9387k|1000.9 | 394M | 31 |4406 | 47k| 43k| 229k| 2 | 13k| 38 | 0.000000e+00 | -- | Inf | 19.41%
3275.89/3286.31 c 3286s| 7600 | 28 | 9489k|1001.2 | 394M | 31 |4406 | 47k| 43k| 232k| 2 | 13k| 38 | 0.000000e+00 | -- | Inf | 19.42%
3308.87/3319.47 c 3319s| 7700 | 30 | 9602k|1002.6 | 395M | 31 |4406 | 48k| 0 | 235k| 0 | 14k| 38 | 0.000000e+00 | -- | Inf | 19.42%
3336.18/3346.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3336.18/3346.82 c 3347s| 7800 | 28 | 9696k|1001.9 | 395M | 31 |4406 | 48k| 43k| 238k| 2 | 14k| 38 | 0.000000e+00 | -- | Inf | 19.42%
3377.14/3387.94 c 3388s| 7900 | 25 | 9827k|1005.1 | 395M | 31 |4406 | 48k| 0 | 242k| 0 | 14k| 38 | 0.000000e+00 | -- | Inf | 19.43%
3406.74/3417.67 c 3418s| 8000 | 24 | 9927k|1005.0 | 395M | 31 |4406 | 48k| 0 | 245k| 0 | 14k| 38 | 0.000000e+00 | -- | Inf | 19.43%
3437.84/3448.80 c 3449s| 8100 | 27 | 10026k|1004.8 | 396M | 31 |4406 | 48k| 43k| 249k| 2 | 14k| 38 | 0.000000e+00 | -- | Inf | 19.44%
3469.13/3480.29 c 3480s| 8200 | 26 | 10127k|1005.0 | 396M | 31 |4406 | 48k| 43k| 252k| 2 | 14k| 38 | 0.000000e+00 | -- | Inf | 19.47%
3511.80/3523.06 c 3523s| 8300 | 28 | 10251k|1007.3 | 396M | 31 |4406 | 48k| 43k| 255k| 2 | 15k| 38 | 0.000000e+00 | -- | Inf | 19.48%
3541.80/3553.15 c 3553s| 8400 | 27 | 10346k|1006.7 | 396M | 31 |4406 | 48k| 43k| 258k| 2 | 15k| 38 | 0.000000e+00 | -- | Inf | 19.49%
3580.36/3591.84 c 3592s| 8500 | 26 | 10470k|1009.0 | 397M | 31 |4406 | 48k| 0 | 262k| 0 | 15k| 38 | 0.000000e+00 | -- | Inf | 19.49%
3585.55/3597.01 c
3585.55/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3585.55/3597.01 c Solving Time (sec) : 3596.99
3585.55/3597.01 c Solving Nodes : 8527 (total of 10299 nodes in 2 runs)
3585.55/3597.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3585.55/3597.01 c Dual Bound : +0.00000000000000e+00
3585.55/3597.01 c Gap : infinite
3585.55/3597.01 s UNKNOWN
3585.55/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3585.55/3597.01 c Total Time : 3596.99
3585.55/3597.01 c solving : 3596.99
3585.55/3597.01 c presolving : 2.66 (included in solving)
3585.55/3597.01 c reading : 0.24 (included in solving)
3585.55/3597.01 c copying : 0.26 (5 #copies) (minimal 0.05, maximal 0.06, average 0.05)
3585.55/3597.01 c Original Problem :
3585.55/3597.01 c Problem name : HOME/instance-4544930-1753233476.opb
3585.55/3597.01 c Variables : 4437 (4437 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.55/3597.01 c Constraints : 40924 initial, 40924 maximal
3585.55/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.55/3597.01 c Presolved Problem :
3585.55/3597.01 c Problem name : t_HOME/instance-4544930-1753233476.opb
3585.55/3597.01 c Variables : 4406 (4406 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.55/3597.01 c Constraints : 42042 initial, 48890 maximal
3585.55/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.55/3597.01 c Nonzeros : 173260 constraint, 108112 clique table
3585.55/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.55/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c gateextraction : 0.19 0.00 6 0 0 0 0 0 7902 978 0 0
3585.55/3597.01 c implics : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c milp : 0.23 0.00 1 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c trivial : 0.00 0.00 12 2 0 0 0 0 0 0 0 0
3585.55/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c dualfix : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c probing : 1.15 0.00 1 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c symmetry : 0.19 0.00 1 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c vbounds : 0.01 0.00 3 0 18 0 0 0 0 0 0 0
3585.55/3597.01 c knapsack : 0.03 0.00 19 0 0 0 0 0 973 6915 4 114
3585.55/3597.01 c setppc : 0.05 0.00 24 0 0 0 0 0 121 0 0 0
3585.55/3597.01 c and : 0.04 0.00 14 0 11 0 0 0 11 0 0 21
3585.55/3597.01 c linear : 0.25 0.04 13 0 0 0 0 0 3 0 0 972
3585.55/3597.01 c logicor : 0.40 0.05 22 0 0 0 0 0 568 0 0 341
3585.55/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c components : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c root node : - - - 2 - - 2 - - - - -
3585.55/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.55/3597.01 c benderslp : 0 0 0 0 6023 0 0 1230 0 0 0 0 0 0 0
3585.55/3597.01 c integral : 0 0 0 0 6023 0 0 1230 0 0 0 0 0 0 12046
3585.55/3597.01 c knapsack : 80+ 81 10 58242 0 0 0 0 13273 51 11207 10 0 0 0
3585.55/3597.01 c setppc : 5537+ 5553 19 65800 0 0 0 1225 130867 1621 567228 28 0 0 0
3585.55/3597.01 c and : 967 967 11512 64179 0 0 0 3 147380 1911 1645918 425104 243558 0 0
3585.55/3597.01 c linear : 2+ 7 0 48770 0 0 0 3 23 18 180 0 0 0 0
3585.55/3597.01 c logicor : 35456+ 42282 19 46908 0 0 0 3 42211 2129 914179 0 0 0 0
3585.55/3597.01 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.55/3597.01 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.55/3597.01 c integral : 27.20 0.00 0.00 0.00 27.20 0.00 0.00 0.00 0.00 0.00
3585.55/3597.01 c knapsack : 0.24 0.00 0.01 0.22 0.00 0.00 0.00 0.00 0.00 0.00
3585.55/3597.01 c setppc : 2.34 0.00 0.01 2.10 0.00 0.00 0.00 0.17 0.05 0.00
3585.55/3597.01 c and : 11.82 0.00 6.75 5.00 0.00 0.00 0.00 0.00 0.05 0.01
3585.55/3597.01 c linear : 0.07 0.04 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
3585.55/3597.01 c logicor : 9.34 0.05 0.11 9.09 0.00 0.00 0.00 0.00 0.07 0.03
3585.55/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.55/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.55/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.55/3597.01 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.55/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.55/3597.01 c dualfix : 2 0 0 0
3585.55/3597.01 c genvbounds : 0 0 0 0
3585.55/3597.01 c nlobbt : 0 0 0 0
3585.55/3597.01 c obbt : 0 0 0 0
3585.55/3597.01 c probing : 0 0 0 0
3585.55/3597.01 c pseudoobj : 0 0 0 0
3585.55/3597.01 c redcost : 0 0 0 0
3585.55/3597.01 c rootredcost : 0 0 0 0
3585.55/3597.01 c symmetry : 8740 0 398 14530
3585.55/3597.01 c vbounds : 52092 0 0 0
3585.55/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.55/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3585.55/3597.01 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3585.55/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.55/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.55/3597.01 c probing : 1.16 0.00 1.15 0.00 0.00 0.00
3585.55/3597.01 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3585.55/3597.01 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3585.55/3597.01 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3585.55/3597.01 c symmetry : 0.95 0.00 0.19 0.76 0.00 0.00
3585.55/3597.01 c vbounds : 1.51 0.00 0.01 1.50 0.00 0.00
3585.55/3597.01 c Symmetry :
3585.55/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3585.55/3597.01 c orbital reduction: 14299 reductions applied, 353 cutoffs
3585.55/3597.01 c lexicographic red: 241 reductions applied, 45 cutoffs
3585.55/3597.01 c shadow tree time : 0.03 s
3585.55/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3585.55/3597.01 c propagation : 0.33 5711 5666 - 37059 20.7 51 17.6 - - -
3585.55/3597.01 c infeasible LP : 0.05 50 50 - 367 23.6 1 3.0 50 30.1 0
3585.55/3597.01 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3585.55/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.55/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.55/3597.01 c applied globally : 0.48 - - 0 15300 16.9 - - 50 - -
3585.55/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3585.55/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.55/3597.01 c cut pool : 0.98 - 1171 39 - - 60439 325791 - - - - - (maximal pool size: 32864)
3585.55/3597.01 c aggregation : 0.30 0.00 24 19 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c > cmir : - - - - - - - 0 0 0 0 0 -
3585.55/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3585.55/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3585.55/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c clique : 2.03 0.00 19 19 0 0 144 3788 0 1337 1337 0 0
3585.55/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c gomory : 1.79 0.00 24 19 0 0 4065 17584 0 827 827 0 0
3585.55/3597.01 c > gomorymi : - - - - - - - 9178 0 469 469 0 -
3585.55/3597.01 c > strongcg : - - - - - - - 8406 0 358 358 0 -
3585.55/3597.01 c impliedbounds : 0.17 0.00 24 19 0 0 55765 301193 0 66750 66750 0 0
3585.55/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c mcf : 0.04 0.00 2 2 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c multilinear : 0.02 0.00 1106 20 0 0 286 337 223 297 136 161 0
3585.55/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.55/3597.01 c rlt : 60.18 0.00 67 20 0 0 105 230 53 137 111 26 0
3585.55/3597.01 c zerohalf : 1.01 0.00 24 19 0 0 365 2659 15 1703 1690 13 0
3585.55/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.55/3597.01 c hybrid : 1.28 0.00 11635 22 314609 0 436615 8000 0 98360
3585.55/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.55/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.55/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3585.55/3597.01 c problem variables: 0.00 - 0 0
3585.55/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.55/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.55/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.55/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.55/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.55/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.55/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.55/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.55/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.55/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.55/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.55/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.55/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.55/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.55/3597.01 c relpscost : 27.19 0.00 6023 0 0 0 0 0 0 12046
3585.55/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.55/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.55/3597.01 c LP solutions : 0.00 - - 0 0
3585.55/3597.01 c relax solutions : 0.00 - - 0 0
3585.55/3597.01 c pseudo solutions : 0.00 - - 0 0
3585.55/3597.01 c strong branching : 0.00 - - 0 0
3585.55/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3585.55/3597.01 c adaptivediving : 32.11 0.00 21 0 0
3585.55/3597.01 c alns : 0.76 0.00 5 0 0
3585.55/3597.01 c bound : 0.00 0.00 0 0 0
3585.55/3597.01 c clique : 0.09 0.00 1 0 0
3585.55/3597.01 c coefdiving : 0.00 0.00 0 0 0
3585.55/3597.01 c completesol : 0.00 0.00 0 0 0
3585.55/3597.01 c conflictdiving : 17.36 0.00 11 0 0
3585.55/3597.01 c crossover : 0.00 0.00 0 0 0
3585.55/3597.01 c dins : 0.00 0.00 0 0 0
3585.55/3597.01 c distributiondivin: 32.35 0.00 11 0 0
3585.55/3597.01 c dps : 0.00 0.00 0 0 0
3585.55/3597.01 c dualval : 0.00 0.00 0 0 0
3585.55/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3585.55/3597.01 c feasjump : 0.11 0.00 2 0 0
3585.55/3597.01 c feaspump : 26.06 0.00 6 0 0
3585.55/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3585.55/3597.01 c fracdiving : 11.18 0.00 11 0 0
3585.55/3597.01 c gins : 0.00 0.00 0 0 0
3585.55/3597.01 c guideddiving : 0.00 0.00 0 0 0
3585.55/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3585.55/3597.01 c indicator : 0.01 0.00 0 0 0
3585.55/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3585.55/3597.01 c indoneopt : 0.01 0.00 0 0 0
3585.55/3597.01 c indrounding : 0.00 0.00 0 0 0
3585.55/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3585.55/3597.01 c intdiving : 0.00 0.00 0 0 0
3585.55/3597.01 c intshifting : 0.00 0.00 0 0 0
3585.55/3597.01 c linesearchdiving : 5.87 0.00 11 0 0
3585.55/3597.01 c localbranching : 0.00 0.00 0 0 0
3585.55/3597.01 c locks : 0.02 0.00 1 0 0
3585.55/3597.01 c lpface : 0.08 0.00 0 0 0
3585.55/3597.01 c mpec : 0.00 0.00 0 0 0
3585.55/3597.01 c multistart : 0.00 0.00 0 0 0
3585.55/3597.01 c mutation : 0.00 0.00 0 0 0
3585.55/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3585.55/3597.01 c objpscostdiving : 335.54 0.00 6 0 0
3585.55/3597.01 c octane : 0.00 0.00 0 0 0
3585.55/3597.01 c ofins : 0.00 0.00 0 0 0
3585.55/3597.01 c oneopt : 0.01 0.00 0 0 0
3585.55/3597.01 c padm : 0.00 0.00 0 0 0
3585.55/3597.01 c proximity : 0.00 0.00 0 0 0
3585.55/3597.01 c pscostdiving : 14.19 0.00 11 0 0
3585.55/3597.01 c randrounding : 0.91 0.00 1240 0 0
3585.55/3597.01 c rens : 0.00 0.00 0 0 0
3585.55/3597.01 c reoptsols : 0.00 0.00 0 0 0
3585.55/3597.01 c repair : 0.00 0.00 0 0 0
3585.55/3597.01 c rins : 0.00 0.00 0 0 0
3585.55/3597.01 c rootsoldiving : 30.01 0.00 6 0 0
3585.55/3597.01 c rounding : 3.00 0.00 1799 0 0
3585.55/3597.01 c scheduler : 0.00 0.00 0 0 0
3585.55/3597.01 c shiftandpropagate: 0.13 0.00 2 0 0
3585.55/3597.01 c shifting : 5.19 0.00 539 0 0
3585.55/3597.01 c simplerounding : 0.01 0.00 0 0 0
3585.55/3597.01 c smallcard : 0.00 0.00 0 0 0
3585.55/3597.01 c subnlp : 0.01 0.00 0 0 0
3585.55/3597.01 c trivial : 0.01 0.00 4 0 0
3585.55/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3585.55/3597.01 c trustregion : 0.00 0.00 0 0 0
3585.55/3597.01 c trysol : 0.00 0.00 0 0 0
3585.55/3597.01 c twoopt : 0.00 0.00 0 0 0
3585.55/3597.01 c undercover : 0.00 0.00 1 0 0
3585.55/3597.01 c vbounds : 0.10 0.00 2 0 0
3585.55/3597.01 c veclendiving : 18.83 0.00 11 0 0
3585.55/3597.01 c zeroobj : 0.00 0.00 0 0 0
3585.55/3597.01 c zirounding : 4.02 0.00 1000 0 0
3585.55/3597.01 c other solutions : - - - 0 -
3585.55/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3585.55/3597.01 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
3585.55/3597.01 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
3585.55/3597.01 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
3585.55/3597.01 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
3585.55/3597.01 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
3585.55/3597.01 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
3585.55/3597.01 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
3585.55/3597.01 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
3585.55/3597.01 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3585.55/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.55/3597.01 c primal LP : 3.89 583 0 0.00 0.00 3.89 583
3585.55/3597.01 c dual LP : 2835.12 17706 9985214 563.95 3521.97 0.00 0
3585.55/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3585.55/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.55/3597.01 c resolve instable : 0.00 0 0 0.00 -
3585.55/3597.01 c diving/probing LP: 520.36 911 501372 550.35 963.51
3585.55/3597.01 c strong branching : 15.76 38 32261 848.97 2047.12 - - 50
3585.55/3597.01 c (at root node) : - 38 32261 848.97 -
3585.55/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3585.55/3597.01 c B&B Tree :
3585.55/3597.01 c number of runs : 2
3585.55/3597.01 c nodes : 8527 (5061 internal, 3466 leaves)
3585.55/3597.01 c feasible leaves : 0
3585.55/3597.01 c infeas. leaves : 3465
3585.55/3597.01 c objective leaves : 0
3585.55/3597.01 c nodes (total) : 10299 (6023 internal, 4276 leaves)
3585.55/3597.01 c nodes left : 25
3585.55/3597.01 c max depth : 31
3585.55/3597.01 c max depth (total): 37
3585.55/3597.01 c backtracks : 1687 (19.8%)
3585.55/3597.01 c early backtracks : 0 (0.0%)
3585.55/3597.01 c nodes exc. ref. : 0 (0.0%)
3585.55/3597.01 c delayed cutoffs : 1572
3585.55/3597.01 c repropagations : 12390 (807968 domain reductions, 1511 cutoffs)
3585.55/3597.01 c avg switch length: 4.14
3585.55/3597.01 c switching time : 12.59
3585.55/3597.01 c Root Node :
3585.55/3597.01 c First LP value : +0.00000000000000e+00
3585.55/3597.01 c First LP Iters : 11449 (10123.00 Iter/sec)
3585.55/3597.01 c First LP Time : 1.13
3585.55/3597.01 c Final Dual Bound : +0.00000000000000e+00
3585.55/3597.01 c Final Root Iters : 107345
3585.55/3597.01 c Root LP Estimate : +2.26160721044743e-02
3585.55/3597.01 c Solution :
3585.55/3597.01 c Solutions found : 0 (0 improvements)
3585.55/3597.01 c Primal Bound : -
3585.55/3597.01 c Dual Bound : +0.00000000000000e+00
3585.55/3597.01 c Gap : infinite
3585.55/3597.01 c Integrals : Total Avg%
3585.55/3597.01 c primal-dual : 359699.42 100.00
3585.55/3597.01 c primal-ref : - - (not evaluated)
3585.55/3597.01 c dual-ref : - - (not evaluated)
3585.65/3597.14 c Time complete: 3585.69.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (62670 MiB free)
memory of node 1: 64507 MiB (62859 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544930-1753233476/watcher-4544930-1753233476 -o /tmp/evaluation-result-4544930-1753233476/solver-4544930-1753233476 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1753233476-160555 --watchdog 3760 pbscip -f HOME/instance-4544930-1753233476.opb -t 3600 -j 2 -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
Starting watchdog thread
solver pid=160605, runsolver pid=160594
Current StackSize limit: 8192 KiB
[startup+0.100073 s]*
/proc/loadavg: 1.57 3.04 3.78 6/250 160607
/proc/meminfo: memFree=128502408/131382112 swapFree=33010160/33010684
[pid=160605] ppid=160594 vsize=57432 memory=29696 CPUtime=0.09 cores=0,2
/proc/160605/stat : 160605 (pbscip) R 160594 160605 160545 0 -1 4194304 4514 0 0 0 8 1 0 0 20 0 1 0 239027390 58810368 7424 18446744073709551615 4235264 18693293 140731049506800 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58150912 140731049515399 140731049515498 140731049515498 140731049521102 0
/proc/160605/statm: 14358 7424 3232 3530 0 5809 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 57432 KiB
Current children cumulated memory: 29696 KiB
[startup+0.214248 s]*
/proc/loadavg: 1.57 3.04 3.78 6/249 160607
/proc/meminfo: memFree=128459324/131382112 swapFree=33010160/33010684
[pid=160605] ppid=160594 vsize=68328 memory=40448 CPUtime=0.21 cores=0,2
/proc/160605/stat : 160605 (pbscip) R 160594 160605 160545 0 -1 4194304 7193 0 0 0 19 2 0 0 20 0 1 0 239027390 69967872 10112 18446744073709551615 4235264 18693293 140731049506800 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58150912 140731049515399 140731049515498 140731049515498 140731049521102 0
/proc/160605/statm: 17082 10112 3232 3530 0 8533 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 68328 KiB
Current children cumulated memory: 40448 KiB
[startup+0.313857 s]*
/proc/loadavg: 1.57 3.04 3.78 6/254 160616
/proc/meminfo: memFree=128403064/131382112 swapFree=33010160/33010684
[pid=160605] ppid=160594 vsize=90576 memory=64548 CPUtime=0.31 cores=0,2
/proc/160605/stat : 160605 (pbscip) R 160594 160605 160545 0 -1 4194304 13068 0 0 0 27 4 0 0 20 0 1 0 239027390 92749824 16137 18446744073709551615 4235264 18693293 140731049506800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58150912 140731049515399 140731049515498 140731049515498 140731049521102 0
/proc/160605/statm: 22644 16137 3520 3530 0 14095 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 90576 KiB
Current children cumulated memory: 64548 KiB
[startup+0.700324 s]
/proc/loadavg: 1.57 3.04 3.78 7/254 160616
/proc/meminfo: memFree=128317068/131382112 swapFree=33010160/33010684
[pid=160605] ppid=160594 vsize=144500 memory=116016 CPUtime=0.68 cores=0,2
/proc/160605/stat : 160605 (pbscip) R 160594 160605 160545 0 -1 4194304 27030 0 0 0 59 9 0 0 20 0 1 0 239027390 147968000 29004 18446744073709551615 4235264 18693293 140731049506800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58150912 140731049515399 140731049515498 140731049515498 140731049521102 0
/proc/160605/statm: 36125 29004 3712 3530 0 27576 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 144500 KiB
Current children cumulated memory: 116016 KiB
[startup+1.50032 s]
/proc/loadavg: 1.57 3.04 3.78 6/254 160616
/proc/meminfo: memFree=128222200/131382112 swapFree=33010160/33010684
[pid=160605] ppid=160594 vsize=145116 memory=117044 CPUtime=1.47 cores=0,2
/proc/160605/stat : 160605 (pbscip) R 160594 160605 160545 0 -1 4194304 34814 0 0 0 135 12 0 0 20 0 1 0 239027390 148598784 29261 18446744073709551615 4235264 18693293 140731049506800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58150912 140731049515399 140731049515498 140731049515498 140731049521102 0
/proc/160605/statm: 36279 29261 3744 3530 0 27730 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 145116 KiB
Current children cumulated memory: 117044 KiB
[startup+3.11444 s]
/proc/loadavg: 1.57 3.04 3.78 6/250 160624
/proc/meminfo: memFree=127603568/131382112 swapFree=33010160/33010684
[pid=160605] ppid=160594 vsize=230524 memory=199908 CPUtime=3.09 cores=0,2
/proc/160605/stat : 160605 (pbscip) R 160594 160605 160545 0 -1 4194304 53387 0 0 0 293 16 0 0 20 0 1 0 239027390 236056576 49977 18446744073709551615 4235264 18693293 140731049506800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58150912 140731049515399 140731049515498 140731049515498 140731049521102 0
/proc/160605/statm: 57631 49977 3936 3530 0 49082 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 230524 KiB
Current children cumulated memory: 199908 KiB
[startup+6.30031 s]
/proc/loadavg: 1.77 3.06 3.78 6/254 160661
/proc/meminfo: memFree=126871880/131382112 swapFree=33010160/33010684
[pid=160605] ppid=160594 vsize=231160 memory=201444 CPUtime=6.26 cores=0,2
/proc/160605/stat : 160605 (pbscip) R 160594 160605 160545 0 -1 4194304 53749 0 0 0 610 16 0 0 20 0 1 0 239027390 236707840 50361 18446744073709551615 4235264 18693293 140731049506800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58150912 140731049515399 140731049515498 140731049515498 140731049521102 0
/proc/160605/statm: 57790 50361 3968 3530 0 49241 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 231160 KiB
Current children cumulated memory: 201444 KiB
[startup+12.7003 s]
/proc/loadavg: 1.94 3.08 3.78 5/254 160706
/proc/meminfo: memFree=125950740/131382112 swapFree=33010160/33010684
[pid=160605] ppid=160594 vsize=276188 memory=241668 CPUtime=12.63 cores=0,2
/proc/160605/stat : 160605 (pbscip) R 160594 160605 160545 0 -1 4194304 63281 0 0 0 1246 17 0 0 20 0 1 0 239027390 282816512 60417 18446744073709551615 4235264 18693293 140731049506800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58150912 140731049515399 140731049515498 140731049515498 140731049521102 0
/proc/160605/statm: 69047 60417 3968 3530 0 60498 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 276188 KiB
Current children cumulated memory: 241668 KiB
[startup+25.5003 s]
/proc/loadavg: 2.48 3.14 3.79 5/254 160707
/proc/meminfo: memFree=123304724/131382112 swapFree=33010160/33010684
[pid=160605] ppid=160594 vsize=312364 memory=257892 CPUtime=25.38 cores=0,2
/proc/160605/stat : 160605 (pbscip) R 160594 160605 160545 0 -1 4194304 66884 0 0 0 2520 18 0 0 20 0 1 0 239027390 319860736 64473 18446744073709551615 4235264 18693293 140731049506800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58150912 140731049515399 140731049515498 140731049515498 140731049521102 0
/proc/160605/statm: 78091 64473 3968 3530 0 69542 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 312364 KiB
Current children cumulated memory: 257892 KiB
[startup+51.1133 s]
/proc/loadavg: 3.07 3.22 3.80 5/254 160707
/proc/meminfo: memFree=122156504/131382112 swapFree=33010160/33010684
[pid=160605] ppid=160594 vsize=393328 memory=324068 CPUtime=50.92 cores=0,2
/proc/160605/stat : 160605 (pbscip) R 160594 160605 160545 0 -1 4194304 83267 0 0 0 5071 21 0 0 20 0 1 0 239027390 402767872 81017 18446744073709551615 4235264 18693293 140731049506800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58150912 140731049515399 140731049515498 140731049515498 140731049521102 0
/proc/160605/statm: 98332 81017 3968 3530 0 89783 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 393328 KiB
Current children cumulated memory: 324068 KiB
[startup+102.3 s]
/proc/loadavg: 3.64 3.36 3.82 5/254 160709
/proc/meminfo: memFree=119205660/131382112 swapFree=33010160/33010684
[pid=160605] ppid=160594 vsize=393328 memory=326756 CPUtime=101.97 cores=0,2
/proc/160605/stat : 160605 (pbscip) R 160594 160605 160545 0 -1 4194304 83276 0 0 0 10176 21 0 0 20 0 1 0 239027390 402767872 81689 18446744073709551615 4235264 18693293 140731049506800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58150912 140731049515399 140731049515498 140731049515498 140731049521102 0
/proc/160605/statm: 98332 81689 3968 3530 0 89783 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 393328 KiB
Current children cumulated memory: 326756 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 3.51 3.84 5/253 160713
/proc/meminfo: memFree=118789592/131382112 swapFree=33010160/33010684
[pid=160605] ppid=160594 vsize=393328 memory=341860 CPUtime=161.81 cores=0,2
/proc/160605/stat : 160605 (pbscip) R 160594 160605 160545 0 -1 4194304 83286 0 0 0 16160 21 0 0 20 0 1 0 239027390 402767872 85465 18446744073709551615 4235264 18693293 140731049506800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58150912 140731049515399 140731049515498 140731049515498 140731049521102 0
/proc/160605/statm: 98332 85465 3968 3530 0 89783 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 393328 KiB
Current children cumulated memory: 341860 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 3.62 3.86 5/254 160716
/proc/meminfo: memFree=118776564/131382112 swapFree=33010160/33010684
[pid=160605] ppid=160594 vsize=393328 memory=349668 CPUtime=221.66 cores=0,2
/proc/160605/stat : 160605 (pbscip) R 160594 160605 160545 0 -1 4194304 83375 0 0 0 22145 21 0 0 20 0 1 0 239027390 402767872 87417 18446744073709551615 4235264 18693293 140731049506800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58150912 140731049515399 140731049515498 140731049515498 140731049521102 0
/proc/160605/statm: 98332 87417 3968 3530 0 89783 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 393328 KiB
Current children cumulated memory: 349668 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 3.72 3.88 5/253 160718
/proc/meminfo: memFree=118783168/131382112 swapFree=33010160/33010684
[pid=160605] ppid=160594 vsize=393328 memory=349668 CPUtime=281.52 cores=0,2
/proc/160605/stat : 160605 (pbscip) R 160594 160605 160545 0 -1 4194304 83407 0 0 0 28131 21 0 0 20 0 1 0 239027390 402767872 87417 18446744073709551615 4235264 18693293 140731049506800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58150912 140731049515399 140731049515498 140731049515498 140731049521102 0
/proc/160605/statm: 98332 87417 3968 3530 0 89783 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 393328 KiB
Current children cumulated memory: 349668 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.79 3.90 5/250 160720
/proc/meminfo: memFree=118491872/131382112 swapFree=33010160/33010684
[pid=160605] ppid=160594 vsize=404380 memory=360932 CPUtime=341.36 cores=0,2
/proc/160605/stat : 160605 (pbscip) R 160594 160605 160545 0 -1 4194304 86373 0 0 0 34115 21 0 0 20 0 1 0 239027390 414085120 90233 18446744073709551615 4235264 18693293 140731049506800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58150912 140731049515399 140731049515498 140731049515498 140731049521102 0
/proc/160605/statm: 101095 90233 3968 3530 0 92546 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 404380 KiB
Current children cumulated memory: 360932 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.84 3.91 5/250 160722
/proc/meminfo: memFree=118469376/131382112 swapFree=33010160/33010684
[pid=160605] ppid=160594 vsize=404380 memory=360932 CPUtime=401.17 cores=0,2
/proc/160605/stat : 160605 (pbscip) R 160594 160605 160545 0 -1 4194304 86486 0 0 0 40096 21 0 0 20 0 1 0 239027390 414085120 90233 18446744073709551615 4235264 18693293 140731049506800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58150912 140731049515399 140731049515498 140731049515498 140731049521102 0
/proc/160605/statm: 101095 90233 3968 3530 0 92546 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 404380 KiB
Current children cumulated memory: 360932 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.91 3.93 5/250 160724
/proc/meminfo: memFree=118299484/131382112 swapFree=33010160/33010684
[pid=160605] ppid=160594 vsize=404444 memory=361060 CPUtime=460.98 cores=0,2
/proc/160605/stat : 160605 (pbscip) R 160594 160605 160545 0 -1 4194304 86535 0 0 0 46077 21 0 0 20 0 1 0 239027390 414150656 90265 18446744073709551615 4235264 18693293 140731049506800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58150912 140731049515399 140731049515498 140731049515498 140731049521102 0
/proc/160605/statm: 101111 90265 3968 3530 0 92562 0
Current children cumulated CPU time: 460.98 s
################
# More data... #
################
/proc/loadavg: 4.12 4.16 4.14 5/250 160866
/proc/meminfo: memFree=114774976/131382112 swapFree=33010160/33010684
[pid=160605] ppid=160594 vsize=474280 memory=411052 CPUtime=3212.09 cores=0,2
/proc/160605/stat : 160605 (pbscip) R 160594 160605 160545 0 -1 4194304 98927 0 0 0 321183 26 0 0 20 0 1 0 239027390 485662720 102763 18446744073709551615 4235264 18693293 140731049506800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58150912 140731049515399 140731049515498 140731049515498 140731049521102 0
/proc/160605/statm: 118570 102763 3968 3530 0 110021 0
Current children cumulated CPU time: 3212.09 s
Current children cumulated vsize: 474280 KiB
Current children cumulated memory: 411052 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/249 160868
/proc/meminfo: memFree=114706020/131382112 swapFree=33010160/33010684
[pid=160605] ppid=160594 vsize=474280 memory=411180 CPUtime=3271.9 cores=0,2
/proc/160605/stat : 160605 (pbscip) R 160594 160605 160545 0 -1 4194304 98960 0 0 0 327163 27 0 0 20 0 1 0 239027390 485662720 102795 18446744073709551615 4235264 18693293 140731049506800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58150912 140731049515399 140731049515498 140731049515498 140731049521102 0
/proc/160605/statm: 118570 102795 3968 3530 0 110021 0
Current children cumulated CPU time: 3271.9 s
Current children cumulated vsize: 474280 KiB
Current children cumulated memory: 411180 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/249 160870
/proc/meminfo: memFree=114673952/131382112 swapFree=33010160/33010684
[pid=160605] ppid=160594 vsize=474832 memory=411564 CPUtime=3331.7 cores=0,2
/proc/160605/stat : 160605 (pbscip) R 160594 160605 160545 0 -1 4194304 99053 0 0 0 333143 27 0 0 20 0 1 0 239027390 486227968 102891 18446744073709551615 4235264 18693293 140731049506800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58150912 140731049515399 140731049515498 140731049515498 140731049521102 0
/proc/160605/statm: 118708 102891 3968 3530 0 110159 0
Current children cumulated CPU time: 3331.7 s
Current children cumulated vsize: 474832 KiB
Current children cumulated memory: 411564 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/249 160872
/proc/meminfo: memFree=114683680/131382112 swapFree=33010160/33010684
[pid=160605] ppid=160594 vsize=475424 memory=412204 CPUtime=3391.49 cores=0,2
/proc/160605/stat : 160605 (pbscip) R 160594 160605 160545 0 -1 4194304 99227 0 0 0 339122 27 0 0 20 0 1 0 239027390 486834176 103051 18446744073709551615 4235264 18693293 140731049506800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58150912 140731049515399 140731049515498 140731049515498 140731049521102 0
/proc/160605/statm: 118856 103051 3968 3530 0 110307 0
Current children cumulated CPU time: 3391.49 s
Current children cumulated vsize: 475424 KiB
Current children cumulated memory: 412204 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/249 160873
/proc/meminfo: memFree=114687208/131382112 swapFree=33010160/33010684
[pid=160605] ppid=160594 vsize=475424 memory=412332 CPUtime=3451.29 cores=0,2
/proc/160605/stat : 160605 (pbscip) R 160594 160605 160545 0 -1 4194304 99260 0 0 0 345102 27 0 0 20 0 1 0 239027390 486834176 103083 18446744073709551615 4235264 18693293 140731049506800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58150912 140731049515399 140731049515498 140731049515498 140731049521102 0
/proc/160605/statm: 118856 103083 3968 3530 0 110307 0
Current children cumulated CPU time: 3451.29 s
Current children cumulated vsize: 475424 KiB
Current children cumulated memory: 412332 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.12 5/249 160875
/proc/meminfo: memFree=114672180/131382112 swapFree=33010160/33010684
[pid=160605] ppid=160594 vsize=476104 memory=412844 CPUtime=3511.09 cores=0,2
/proc/160605/stat : 160605 (pbscip) R 160594 160605 160545 0 -1 4194304 99375 0 0 0 351082 27 0 0 20 0 1 0 239027390 487530496 103211 18446744073709551615 4235264 18693293 140731049506800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58150912 140731049515399 140731049515498 140731049515498 140731049521102 0
/proc/160605/statm: 119026 103211 3968 3530 0 110477 0
Current children cumulated CPU time: 3511.09 s
Current children cumulated vsize: 476104 KiB
Current children cumulated memory: 412844 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/250 160884
/proc/meminfo: memFree=114659236/131382112 swapFree=33010160/33010684
[pid=160605] ppid=160594 vsize=476388 memory=413228 CPUtime=3570.89 cores=0,2
/proc/160605/stat : 160605 (pbscip) R 160594 160605 160545 0 -1 4194304 99467 0 0 0 357062 27 0 0 20 0 1 0 239027390 487821312 103307 18446744073709551615 4235264 18693293 140731049506800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58150912 140731049515399 140731049515498 140731049515498 140731049521102 0
/proc/160605/statm: 119097 103307 3968 3530 0 110548 0
Current children cumulated CPU time: 3570.89 s
Current children cumulated vsize: 476388 KiB
Current children cumulated memory: 413228 KiB
[startup+3597.15 s]
# the end of solver process 160605 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.42 s, system=0.283662 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.11 4.12 5/250 160884
/proc/meminfo: memFree=114659488/131382112 swapFree=33010160/33010684
[pid=160605] ppid=160594 vsize=476388 memory=413228 CPUtime=3572.6 cores=0,2
/proc/160605/stat : 160605 (pbscip) R 160594 160605 160545 0 -1 4194304 99468 0 0 0 357233 27 0 0 20 0 1 0 239027390 487821312 103307 18446744073709551615 4235264 18693293 140731049506800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58150912 140731049515399 140731049515498 140731049515498 140731049521102 0
/proc/160605/statm: 119097 103307 3968 3530 0 110548 0
Current children cumulated CPU time: 3572.6 s
Current children cumulated vsize: 476388 KiB
Current children cumulated memory: 413228 KiB
[startup+3590.4 s]
/proc/loadavg: 4.16 4.13 4.12 5/250 160885
/proc/meminfo: memFree=114658864/131382112 swapFree=33010160/33010684
[pid=160605] ppid=160594 vsize=476584 memory=413356 CPUtime=3578.96 cores=0,2
/proc/160605/stat : 160605 (pbscip) R 160594 160605 160545 0 -1 4194304 99500 0 0 0 357869 27 0 0 20 0 1 0 239027390 488022016 103339 18446744073709551615 4235264 18693293 140731049506800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58150912 140731049515399 140731049515498 140731049515498 140731049521102 0
/proc/160605/statm: 119146 103339 3968 3530 0 110597 0
Current children cumulated CPU time: 3578.96 s
Current children cumulated vsize: 476584 KiB
Current children cumulated memory: 413356 KiB
[startup+3593.6 s]
/proc/loadavg: 4.16 4.13 4.12 5/250 160885
/proc/meminfo: memFree=114659368/131382112 swapFree=33010160/33010684
[pid=160605] ppid=160594 vsize=476584 memory=413356 CPUtime=3582.15 cores=0,2
/proc/160605/stat : 160605 (pbscip) R 160594 160605 160545 0 -1 4194304 99502 0 0 0 358188 27 0 0 20 0 1 0 239027390 488022016 103339 18446744073709551615 4235264 18693293 140731049506800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58150912 140731049515399 140731049515498 140731049515498 140731049521102 0
/proc/160605/statm: 119146 103339 3968 3530 0 110597 0
Current children cumulated CPU time: 3582.15 s
Current children cumulated vsize: 476584 KiB
Current children cumulated memory: 413356 KiB
[startup+3595.2 s]
/proc/loadavg: 4.14 4.12 4.12 5/250 160885
/proc/meminfo: memFree=114659368/131382112 swapFree=33010160/33010684
[pid=160605] ppid=160594 vsize=476584 memory=413356 CPUtime=3583.75 cores=0,2
/proc/160605/stat : 160605 (pbscip) R 160594 160605 160545 0 -1 4194304 99502 0 0 0 358348 27 0 0 20 0 1 0 239027390 488022016 103339 18446744073709551615 4235264 18693293 140731049506800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58150912 140731049515399 140731049515498 140731049515498 140731049521102 0
/proc/160605/statm: 119146 103339 3968 3530 0 110597 0
Current children cumulated CPU time: 3583.75 s
Current children cumulated vsize: 476584 KiB
Current children cumulated memory: 413356 KiB
[startup+3596 s]*
/proc/loadavg: 4.14 4.12 4.12 5/250 160885
/proc/meminfo: memFree=114659620/131382112 swapFree=33010160/33010684
[pid=160605] ppid=160594 vsize=476584 memory=413356 CPUtime=3584.56 cores=0,2
/proc/160605/stat : 160605 (pbscip) R 160594 160605 160545 0 -1 4194304 99503 0 0 0 358429 27 0 0 20 0 1 0 239027390 488022016 103339 18446744073709551615 4235264 18693293 140731049506800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58150912 140731049515399 140731049515498 140731049515498 140731049521102 0
/proc/160605/statm: 119146 103339 3968 3530 0 110597 0
Current children cumulated CPU time: 3584.56 s
Current children cumulated vsize: 476584 KiB
Current children cumulated memory: 413356 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.12 4.12 5/250 160885
/proc/meminfo: memFree=114659620/131382112 swapFree=33010160/33010684
[pid=160605] ppid=160594 vsize=476584 memory=413356 CPUtime=3585.34 cores=0,2
/proc/160605/stat : 160605 (pbscip) R 160594 160605 160545 0 -1 4194304 99503 0 0 0 358507 27 0 0 20 0 1 0 239027390 488022016 103339 18446744073709551615 4235264 18693293 140731049506800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58150912 140731049515399 140731049515498 140731049515498 140731049521102 0
/proc/160605/statm: 119146 103339 3968 3530 0 110597 0
Current children cumulated CPU time: 3585.34 s
Current children cumulated vsize: 476584 KiB
Current children cumulated memory: 413356 KiB
[startup+3597 s]*
/proc/loadavg: 4.14 4.12 4.12 5/250 160885
/proc/meminfo: memFree=114659620/131382112 swapFree=33010160/33010684
[pid=160605] ppid=160594 vsize=476584 memory=413356 CPUtime=3585.55 cores=0,2
/proc/160605/stat : 160605 (pbscip) R 160594 160605 160545 0 -1 4194304 99503 0 0 0 358528 27 0 0 20 0 1 0 239027390 488022016 103339 18446744073709551615 4235264 18693293 140731049506800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58150912 140731049515399 140731049515498 140731049515498 140731049521102 0
/proc/160605/statm: 119146 103339 3968 3530 0 110597 0
Current children cumulated CPU time: 3585.55 s
Current children cumulated vsize: 476584 KiB
Current children cumulated memory: 413356 KiB
[startup+3597.11 s]
/proc/loadavg: 4.14 4.12 4.12 5/250 160885
/proc/meminfo: memFree=114659620/131382112 swapFree=33010160/33010684
[pid=160605] ppid=160594 vsize=473456 memory=410288 CPUtime=3585.65 cores=0,2
/proc/160605/stat : 160605 (pbscip) R 160594 160605 160545 0 -1 4194304 99505 0 0 0 358538 27 0 0 20 0 1 0 239027390 484818944 102572 18446744073709551615 4235264 18693293 140731049506800 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58150912 140731049515399 140731049515498 140731049515498 140731049521102 0
/proc/160605/statm: 118364 102572 3968 3530 0 109815 0
Current children cumulated CPU time: 3585.65 s
Current children cumulated vsize: 473456 KiB
Current children cumulated memory: 410288 KiB
Child status: 0
Real time (s): 3597.15
CPU time (s): 3585.7
CPU user time (s): 3585.42
CPU system time (s): 0.283662
CPU usage (%): 99.6817
Max. virtual memory (cumulated for all children) (KiB): 476584
Max. memory (cumulated for all children) (KiB): 413356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.42
system time used= 0.283662
maximum resident set size= 413356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99517
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= 108
involuntary context switches= 8124
# summary of solver processes directly reported to runsolver:
# pid: 160605
# total CPU time (s): 3585.7
# total CPU user time (s): 3585.42
# total CPU system time (s): 0.283662
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4137 second user time and 36.9659 second system time
The end