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-4459832-1721939463.opb>
0.00/0.01 c original problem has 3190 variables (100 bin, 0 int, 3090 impl, 0 cont) and 3290 constraints
0.00/0.01 c problem read in 0.01
0.00/0.02 c presolving:
0.00/0.02 c (round 1, medium) 0 del vars, 3290 del conss, 100 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (round 2, fast) 3090 del vars, 3290 del conss, 100 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (round 3, exhaustive) 3090 del vars, 3290 del conss, 100 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 51/100 (51.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.03 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.03 c (0.0s) no symmetry present (symcode time: 0.00)
0.00/0.03 c presolving (4 rounds: 4 fast, 3 medium, 2 exhaustive):
0.00/0.03 c 3090 deleted vars, 3290 deleted constraints, 100 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 100 variables (100 bin, 0 int, 0 impl, 0 cont) and 100 constraints
0.00/0.03 c 100 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.01
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 10.0.0
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.03 c limits/time = 3596.997011
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.03 c limits/memory = 27900
0.00/0.03 c
0.00/0.03 c # belongs reading time to solving time?
0.00/0.03 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c timing/reading = TRUE
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 o 100
0.00/0.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.03 c t 0.0s| 1 | 0 | 0 | - | trivial| 0 | 100 | 100 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.000000e+02 | Inf | unknown
0.00/0.03 o 6
0.00/0.03 c p 0.0s| 1 | 0 | 0 | - | locks| 0 | 100 | 100 | 100 | 0 | 0 | 0 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
0.00/0.04 c 0.0s| 1 | 0 | 599 | - | 17M | 0 | 100 | 100 | 100 | 0 | 0 | 0 | 0 | 3.067826e+00 | 6.000000e+00 | 95.58%| unknown
0.00/0.06 c 0.1s| 1 | 0 | 673 | - | 20M | 0 | 100 | 100 | 101 | 1 | 1 | 0 | 0 | 3.103629e+00 | 6.000000e+00 | 93.32%| unknown
0.00/0.08 c 0.1s| 1 | 0 | 718 | - | 22M | 0 | 100 | 100 | 102 | 2 | 2 | 0 | 0 | 3.120957e+00 | 6.000000e+00 | 92.25%| unknown
0.00/0.09 c 0.1s| 1 | 0 | 763 | - | 25M | 0 | 100 | 100 | 103 | 3 | 3 | 0 | 0 | 3.142231e+00 | 6.000000e+00 | 90.95%| unknown
0.09/0.10 c 0.1s| 1 | 0 | 822 | - | 28M | 0 | 100 | 100 | 104 | 4 | 4 | 0 | 0 | 3.151358e+00 | 6.000000e+00 | 90.39%| unknown
0.09/0.12 c 0.1s| 1 | 0 | 928 | - | 30M | 0 | 100 | 100 | 105 | 5 | 5 | 0 | 0 | 3.166283e+00 | 6.000000e+00 | 89.50%| unknown
0.09/0.13 c 0.1s| 1 | 0 | 976 | - | 32M | 0 | 100 | 100 | 106 | 6 | 6 | 0 | 0 | 3.170016e+00 | 6.000000e+00 | 89.27%| unknown
0.09/0.14 c 0.1s| 1 | 0 | 1019 | - | 32M | 0 | 100 | 100 | 107 | 7 | 7 | 0 | 0 | 3.174239e+00 | 6.000000e+00 | 89.02%| unknown
0.09/0.16 c 0.2s| 1 | 0 | 1060 | - | 35M | 0 | 100 | 100 | 108 | 8 | 8 | 0 | 0 | 3.177234e+00 | 6.000000e+00 | 88.84%| unknown
0.09/0.17 c 0.2s| 1 | 0 | 1080 | - | 37M | 0 | 100 | 100 | 109 | 9 | 9 | 0 | 0 | 3.179028e+00 | 6.000000e+00 | 88.74%| unknown
0.09/0.18 c 0.2s| 1 | 0 | 1117 | - | 40M | 0 | 100 | 100 | 110 | 10 | 10 | 0 | 0 | 3.180602e+00 | 6.000000e+00 | 88.64%| unknown
0.09/0.19 c 0.2s| 1 | 0 | 1140 | - | 40M | 0 | 100 | 100 | 111 | 11 | 11 | 0 | 0 | 3.181217e+00 | 6.000000e+00 | 88.61%| unknown
0.09/0.19 c 0.2s| 1 | 0 | 1161 | - | 40M | 0 | 100 | 100 | 112 | 12 | 12 | 0 | 0 | 3.181792e+00 | 6.000000e+00 | 88.57%| unknown
0.09/0.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.09/0.20 c 0.2s| 1 | 0 | 1184 | - | 40M | 0 | 100 | 100 | 113 | 13 | 13 | 0 | 0 | 3.182164e+00 | 6.000000e+00 | 88.55%| unknown
0.20/0.21 c 0.2s| 1 | 0 | 1222 | - | 40M | 0 | 100 | 100 | 114 | 14 | 14 | 0 | 0 | 3.182650e+00 | 6.000000e+00 | 88.52%| unknown
0.20/0.21 c 0.2s| 1 | 0 | 1252 | - | 40M | 0 | 100 | 100 | 115 | 15 | 15 | 0 | 0 | 3.183070e+00 | 6.000000e+00 | 88.50%| unknown
0.20/0.22 c 0.2s| 1 | 0 | 1283 | - | 40M | 0 | 100 | 100 | 116 | 16 | 16 | 0 | 0 | 3.183670e+00 | 6.000000e+00 | 88.46%| unknown
0.20/0.22 c 0.2s| 1 | 0 | 1316 | - | 40M | 0 | 100 | 100 | 117 | 17 | 17 | 0 | 0 | 3.184135e+00 | 6.000000e+00 | 88.43%| unknown
0.20/0.23 c 0.2s| 1 | 0 | 1356 | - | 40M | 0 | 100 | 100 | 118 | 18 | 18 | 0 | 0 | 3.184624e+00 | 6.000000e+00 | 88.41%| unknown
0.20/0.24 c 0.2s| 1 | 0 | 1383 | - | 40M | 0 | 100 | 100 | 119 | 19 | 19 | 0 | 0 | 3.184845e+00 | 6.000000e+00 | 88.39%| unknown
0.20/0.25 c 0.2s| 1 | 0 | 1467 | - | 40M | 0 | 100 | 100 | 120 | 20 | 20 | 0 | 0 | 3.185677e+00 | 6.000000e+00 | 88.34%| unknown
0.20/0.25 c 0.3s| 1 | 0 | 1521 | - | 40M | 0 | 100 | 100 | 121 | 21 | 21 | 0 | 0 | 3.186646e+00 | 6.000000e+00 | 88.29%| unknown
0.20/0.26 c 0.3s| 1 | 0 | 1554 | - | 40M | 0 | 100 | 100 | 122 | 22 | 22 | 0 | 0 | 3.187803e+00 | 6.000000e+00 | 88.22%| unknown
0.20/0.27 c 0.3s| 1 | 0 | 1587 | - | 40M | 0 | 100 | 100 | 122 | 23 | 23 | 0 | 0 | 3.188771e+00 | 6.000000e+00 | 88.16%| unknown
0.20/0.27 c 0.3s| 1 | 0 | 1613 | - | 40M | 0 | 100 | 100 | 123 | 24 | 24 | 0 | 0 | 3.189352e+00 | 6.000000e+00 | 88.13%| unknown
0.20/0.28 c 0.3s| 1 | 0 | 1646 | - | 40M | 0 | 100 | 100 | 124 | 25 | 25 | 0 | 0 | 3.190129e+00 | 6.000000e+00 | 88.08%| unknown
0.20/0.29 c 0.3s| 1 | 0 | 1731 | - | 40M | 0 | 100 | 100 | 125 | 26 | 26 | 0 | 0 | 3.205752e+00 | 6.000000e+00 | 87.16%| unknown
0.20/0.29 c 0.3s| 1 | 0 | 1748 | - | 40M | 0 | 100 | 100 | 126 | 27 | 27 | 0 | 0 | 3.207746e+00 | 6.000000e+00 | 87.05%| unknown
0.20/0.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.20/0.30 c 0.3s| 1 | 0 | 1759 | - | 40M | 0 | 100 | 100 | 127 | 28 | 28 | 0 | 0 | 3.208958e+00 | 6.000000e+00 | 86.98%| unknown
0.30/0.31 c 0.3s| 1 | 0 | 1797 | - | 40M | 0 | 100 | 100 | 127 | 29 | 29 | 0 | 0 | 3.215929e+00 | 6.000000e+00 | 86.57%| unknown
0.30/0.31 c 0.3s| 1 | 0 | 1809 | - | 40M | 0 | 100 | 100 | 128 | 30 | 30 | 0 | 0 | 3.216696e+00 | 6.000000e+00 | 86.53%| unknown
0.30/0.32 c 0.3s| 1 | 0 | 1819 | - | 40M | 0 | 100 | 100 | 129 | 31 | 31 | 0 | 0 | 3.217234e+00 | 6.000000e+00 | 86.50%| unknown
0.30/0.33 c 0.3s| 1 | 0 | 1854 | - | 40M | 0 | 100 | 100 | 130 | 32 | 32 | 0 | 0 | 3.225118e+00 | 6.000000e+00 | 86.04%| unknown
0.30/0.33 c 0.3s| 1 | 0 | 1867 | - | 40M | 0 | 100 | 100 | 131 | 33 | 33 | 0 | 0 | 3.225489e+00 | 6.000000e+00 | 86.02%| unknown
0.30/0.34 c 0.3s| 1 | 0 | 1878 | - | 40M | 0 | 100 | 100 | 132 | 34 | 34 | 0 | 0 | 3.226109e+00 | 6.000000e+00 | 85.98%| unknown
0.30/0.35 c 0.3s| 1 | 0 | 1879 | - | 40M | 0 | 100 | 100 | 126 | 35 | 35 | 0 | 0 | 3.226111e+00 | 6.000000e+00 | 85.98%| unknown
0.49/0.52 o 5
0.49/0.52 c L 0.5s| 1 | 0 | 1879 | - | rens| 0 | 100 | 100 | 126 | 35 | 36 | 0 | 0 | 3.226111e+00 | 5.000000e+00 | 54.99%| unknown
0.49/0.53 c 0.5s| 1 | 0 | 1879 | - | 40M | 0 | 100 | 100 | 126 | 35 | 36 | 0 | 0 | 3.226111e+00 | 5.000000e+00 | 54.99%| unknown
0.59/0.64 c 0.6s| 1 | 2 | 1879 | - | 40M | 0 | 100 | 100 | 126 | 35 | 37 | 0 | 19 | 3.234813e+00 | 5.000000e+00 | 54.57%| unknown
1.48/1.53 c
1.48/1.53 c SCIP Status : problem is solved [optimal solution found]
1.48/1.53 c Solving Time (sec) : 1.53
1.48/1.53 c Solving Nodes : 11
1.48/1.53 c Primal Bound : +5.00000000000000e+00 (257 solutions)
1.48/1.53 c Dual Bound : +5.00000000000000e+00
1.48/1.53 c Gap : 0.00 %
1.48/1.53 s OPTIMUM FOUND
1.48/1.53 v -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75
1.48/1.53 v -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 x55 -x54 -x53 -x52 -x51 -x50
1.48/1.53 v -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25
1.48/1.53 v -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 x5 -x4 -x3 -x2 -x1
1.48/1.53 c SCIP Status : problem is solved [optimal solution found]
1.48/1.53 c Total Time : 1.53
1.48/1.53 c solving : 1.53
1.48/1.53 c presolving : 0.01 (included in solving)
1.48/1.53 c reading : 0.01 (included in solving)
1.48/1.53 c copying : 0.00 (2 #copies) (minimal 0.00, maximal 0.00, average 0.00)
1.48/1.53 c Original Problem :
1.48/1.53 c Problem name : HOME/instance-4459832-1721939463.opb
1.48/1.53 c Variables : 3190 (100 binary, 0 integer, 3090 implicit integer, 0 continuous)
1.48/1.53 c Constraints : 3290 initial, 3290 maximal
1.48/1.53 c Objective : minimize, 100 non-zeros (abs.min = 1, abs.max = 1)
1.48/1.53 c Presolved Problem :
1.48/1.53 c Problem name : t_HOME/instance-4459832-1721939463.opb
1.48/1.53 c Variables : 100 (100 binary, 0 integer, 0 implicit integer, 0 continuous)
1.48/1.53 c Constraints : 100 initial, 137 maximal
1.48/1.53 c Objective : minimize, 100 non-zeros (abs.min = 1, abs.max = 1)
1.48/1.53 c Nonzeros : 3190 constraint, 2 clique table
1.48/1.53 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1.48/1.53 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.48/1.53 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.48/1.53 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.48/1.53 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.48/1.53 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.48/1.53 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.48/1.53 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.48/1.53 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.48/1.53 c implics : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
1.48/1.53 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.48/1.53 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.48/1.53 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.48/1.53 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.48/1.53 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.48/1.53 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.48/1.53 c trivial : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
1.48/1.53 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.48/1.53 c dualfix : 0.00 0.00 4 3090 0 0 0 0 0 0 0 0
1.48/1.53 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.48/1.53 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.48/1.53 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.48/1.53 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.48/1.53 c vbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.48/1.53 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.48/1.53 c linear : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
1.48/1.53 c logicor : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
1.48/1.53 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.48/1.53 c pseudoboolean : 0.00 0.00 1 0 0 0 0 0 3290 100 0 0
1.48/1.53 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.48/1.53 c root node : - - - 41 - - 41 - - - - -
1.48/1.53 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
1.48/1.53 c benderslp : 0 0 0 0 40 0 0 300 0 0 0 0 0 0 0
1.48/1.53 c integral : 0 0 0 0 40 0 0 300 0 1 84 0 0 45 10
1.48/1.53 c setppc : 0+ 1 0 13 0 0 0 0 0 0 0 0 0 0 0
1.48/1.53 c logicor : 100+ 145 36 236 0 0 0 297 5 4 0 0 0 0 0
1.48/1.53 c benders : 0 0 0 0 0 0 0 261 0 0 0 0 0 0 0
1.48/1.53 c fixedvar : 0 0 0 0 0 0 0 259 0 0 0 0 0 0 0
1.48/1.53 c countsols : 0 0 0 0 0 0 0 259 0 0 0 0 0 0 0
1.48/1.53 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1.48/1.53 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
1.48/1.53 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.48/1.53 c integral : 0.94 0.00 0.00 0.00 0.94 0.00 0.00 0.00 0.00 0.00
1.48/1.53 c setppc : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.48/1.53 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.48/1.53 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.48/1.53 c fixedvar : 0.02 0.00 0.00 0.00 0.00 0.00 0.00 0.02 0.00 0.00
1.48/1.53 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.48/1.53 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.48/1.53 c Propagators : #Propagate #ResProp Cutoffs DomReds
1.48/1.53 c dualfix : 3 0 0 0
1.48/1.53 c genvbounds : 0 0 0 0
1.48/1.53 c nlobbt : 0 0 0 0
1.48/1.53 c obbt : 0 0 0 0
1.48/1.53 c probing : 0 0 0 0
1.48/1.53 c pseudoobj : 136 0 0 35
1.48/1.53 c redcost : 131 0 0 249
1.48/1.53 c rootredcost : 1 0 0 0
1.48/1.53 c symmetry : 0 0 0 0
1.48/1.53 c vbounds : 0 0 0 0
1.48/1.53 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
1.48/1.53 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
1.48/1.53 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
1.48/1.53 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
1.48/1.53 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
1.48/1.53 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
1.48/1.53 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
1.48/1.53 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
1.48/1.53 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
1.48/1.53 c symmetry : 0.00 0.00 0.00 0.00 0.00 0.00
1.48/1.53 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
1.48/1.53 c Symmetry :
1.48/1.53 c orbitopal red. : 0 reductions applied, 0 cutoffs
1.48/1.53 c orbital reduction: 0 reductions applied, 0 cutoffs
1.48/1.53 c lexicographic red: 0 reductions applied, 0 cutoffs
1.48/1.53 c shadow tree time : 0.00 s
1.48/1.53 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
1.48/1.53 c propagation : 0.00 3 1 - 1 11.0 0 0.0 - - -
1.48/1.53 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
1.48/1.53 c bound exceed. LP : 0.01 87 59 - 50 10.7 0 0.0 12 1.0 300
1.48/1.53 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
1.48/1.53 c pseudo solution : 0.00 3 3 - 3 5.0 0 0.0 - - -
1.48/1.53 c applied globally : 0.00 - - 12 42 7.5 - - 12 - -
1.48/1.53 c applied locally : - - - 0 11 20.8 - - 0 - -
1.48/1.53 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
1.48/1.53 c cut pool : 0.01 - 68 68 - - 1242 6119 - - - - - (maximal pool size: 1242)
1.48/1.53 c aggregation : 0.13 0.00 37 37 0 0 57 265 0 8 8 0 0
1.48/1.53 c > cmir : - - - - - - - 265 0 8 8 0 -
1.48/1.53 c > flowcover : - - - - - - - 0 0 0 0 0 -
1.48/1.53 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
1.48/1.53 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.48/1.53 c clique : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
1.48/1.53 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.48/1.53 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.48/1.53 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.48/1.53 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.48/1.53 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.48/1.53 c gomory : 0.08 0.00 10 10 0 0 1165 5773 0 11 11 0 0
1.48/1.53 c > gomorymi : - - - - - - - 5308 0 11 11 0 -
1.48/1.53 c > strongcg : - - - - - - - 465 0 0 0 0 -
1.48/1.53 c impliedbounds : 0.00 0.00 37 37 0 0 0 0 0 0 0 0 0
1.48/1.53 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.48/1.53 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.48/1.53 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.48/1.53 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
1.48/1.53 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.48/1.53 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.48/1.53 c multilinear : 0.00 0.00 41 37 0 0 0 0 0 0 0 0 0
1.48/1.53 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.48/1.53 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.48/1.53 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
1.48/1.53 c zerohalf : 0.02 0.00 20 20 0 0 20 81 0 16 16 0 0
1.48/1.53 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
1.48/1.53 c hybrid : 0.00 0.00 35 35 35 0 6084 35 0 6084
1.48/1.53 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
1.48/1.53 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
1.48/1.53 c Pricers : ExecTime SetupTime Calls Vars
1.48/1.53 c problem variables: 0.00 - 0 0
1.48/1.53 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
1.48/1.53 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
1.48/1.53 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
1.48/1.53 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
1.48/1.53 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
1.48/1.53 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
1.48/1.53 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
1.48/1.53 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
1.48/1.53 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
1.48/1.53 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
1.48/1.53 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
1.48/1.53 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
1.48/1.53 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
1.48/1.53 c random : 0.00 0.00 0 0 0 0 0 0 0 0
1.48/1.53 c relpscost : 0.94 0.00 40 0 0 1 84 0 45 10
1.48/1.53 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
1.48/1.53 c Primal Heuristics : ExecTime SetupTime Calls Found Best
1.48/1.53 c LP solutions : 0.00 - - 0 0
1.48/1.53 c relax solutions : 0.00 - - 0 0
1.48/1.53 c pseudo solutions : 0.00 - - 0 0
1.48/1.53 c strong branching : 0.02 - - 204 0
1.48/1.53 c actconsdiving : 0.00 0.00 0 0 0
1.48/1.53 c adaptivediving : 0.00 0.00 0 0 0
1.48/1.53 c alns : 0.00 0.00 1 0 0
1.48/1.53 c bound : 0.00 0.00 0 0 0
1.48/1.53 c clique : 0.00 0.00 0 0 0
1.48/1.53 c coefdiving : 0.00 0.00 0 0 0
1.48/1.53 c completesol : 0.00 0.00 0 0 0
1.48/1.53 c conflictdiving : 0.00 0.00 0 0 0
1.48/1.53 c crossover : 0.00 0.00 0 0 0
1.48/1.53 c dins : 0.00 0.00 0 0 0
1.48/1.53 c distributiondivin: 0.00 0.00 0 0 0
1.48/1.53 c dps : 0.00 0.00 0 0 0
1.48/1.53 c dualval : 0.00 0.00 0 0 0
1.48/1.53 c farkasdiving : 0.00 0.00 0 0 0
1.48/1.53 c feasjump : 0.00 0.00 0 0 0
1.48/1.53 c feaspump : 0.00 0.00 0 0 0
1.48/1.53 c fixandinfer : 0.00 0.00 0 0 0
1.48/1.53 c fracdiving : 0.00 0.00 0 0 0
1.48/1.53 c gins : 0.00 0.00 0 0 0
1.48/1.53 c guideddiving : 0.00 0.00 0 0 0
1.48/1.53 c indcoefdiving : 0.00 0.00 0 0 0
1.48/1.53 c indicator : 0.00 0.00 0 0 0
1.48/1.53 c indicatordiving : 0.00 0.00 0 0 0
1.48/1.53 c indoneopt : 0.00 0.00 0 0 0
1.48/1.53 c indrounding : 0.00 0.00 0 0 0
1.48/1.53 c indtwoopt : 0.00 0.00 0 0 0
1.48/1.53 c intdiving : 0.00 0.00 0 0 0
1.48/1.53 c intshifting : 0.00 0.00 0 0 0
1.48/1.53 c linesearchdiving : 0.00 0.00 0 0 0
1.48/1.53 c localbranching : 0.00 0.00 0 0 0
1.48/1.53 c locks : 0.00 0.00 1 1 1
1.48/1.53 c lpface : 0.00 0.00 0 0 0
1.48/1.53 c mpec : 0.00 0.00 0 0 0
1.48/1.53 c multistart : 0.00 0.00 0 0 0
1.48/1.53 c mutation : 0.00 0.00 0 0 0
1.48/1.53 c nlpdiving : 0.00 0.00 0 0 0
1.48/1.53 c objpscostdiving : 0.00 0.00 0 0 0
1.48/1.53 c octane : 0.00 0.00 0 0 0
1.48/1.53 c ofins : 0.00 0.00 0 0 0
1.48/1.53 c oneopt : 0.00 0.00 2 0 0
1.48/1.53 c padm : 0.00 0.00 0 0 0
1.48/1.53 c proximity : 0.00 0.00 0 0 0
1.48/1.53 c pscostdiving : 0.00 0.00 0 0 0
1.48/1.53 c randrounding : 0.01 0.00 36 0 0
1.48/1.53 c rens : 0.17 0.00 1 1 1
1.48/1.53 c reoptsols : 0.00 0.00 0 0 0
1.48/1.53 c repair : 0.00 0.00 0 0 0
1.48/1.53 c rins : 0.00 0.00 0 0 0
1.48/1.53 c rootsoldiving : 0.00 0.00 0 0 0
1.48/1.53 c rounding : 0.00 0.00 75 0 0
1.48/1.53 c scheduler : 0.00 0.00 0 0 0
1.48/1.53 c shiftandpropagate: 0.00 0.00 0 0 0
1.48/1.53 c shifting : 0.00 0.00 36 1 0
1.48/1.53 c simplerounding : 0.00 0.00 75 44 0
1.48/1.53 c smallcard : 0.00 0.00 0 0 0
1.48/1.53 c subnlp : 0.00 0.00 0 0 0
1.48/1.53 c trivial : 0.00 0.00 2 1 1
1.48/1.53 c trivialnegation : 0.00 0.00 0 0 0
1.48/1.53 c trustregion : 0.00 0.00 0 0 0
1.48/1.53 c trysol : 0.00 0.00 0 0 0
1.48/1.53 c twoopt : 0.00 0.00 0 0 0
1.48/1.53 c undercover : 0.00 0.00 0 0 0
1.48/1.53 c vbounds : 0.00 0.00 0 0 0
1.48/1.53 c veclendiving : 0.00 0.00 0 0 0
1.48/1.53 c zeroobj : 0.00 0.00 0 0 0
1.48/1.53 c zirounding : 0.00 0.00 5 5 0
1.48/1.53 c other solutions : - - - 0 -
1.48/1.53 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
1.48/1.53 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
1.48/1.53 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
1.48/1.53 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
1.48/1.53 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
1.48/1.53 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
1.48/1.53 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
1.48/1.53 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
1.48/1.53 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
1.48/1.53 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
1.48/1.53 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
1.48/1.53 c primal LP : 0.00 4 0 0.00 - 0.00 4
1.48/1.53 c dual LP : 0.12 90 3911 51.46 32461.01 0.00 14
1.48/1.53 c lex dual LP : 0.00 0 0 0.00 -
1.48/1.53 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1.48/1.53 c resolve instable : 0.00 0 0 0.00 -
1.48/1.53 c diving/probing LP: 0.02 1 6 6.00 363.97
1.48/1.53 c strong branching : 0.88 194 31857 164.21 36139.45 - - 0
1.48/1.53 c (at root node) : - 19 3355 176.58 -
1.48/1.53 c conflict analysis: 0.01 30 300 10.00 -
1.48/1.53 c B&B Tree :
1.48/1.53 c number of runs : 1
1.48/1.53 c nodes : 11 (5 internal, 6 leaves)
1.48/1.53 c feasible leaves : 0
1.48/1.53 c infeas. leaves : 4
1.48/1.53 c objective leaves : 2
1.48/1.53 c nodes (total) : 11 (5 internal, 6 leaves)
1.48/1.53 c nodes left : 0
1.48/1.53 c max depth : 5
1.48/1.53 c max depth (total): 5
1.48/1.53 c backtracks : 1 (9.1%)
1.48/1.53 c early backtracks : 0 (0.0%)
1.48/1.53 c nodes exc. ref. : 0 (0.0%)
1.48/1.53 c delayed cutoffs : 0
1.48/1.53 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1.48/1.53 c avg switch length: 2.00
1.48/1.53 c switching time : 0.00
1.48/1.53 c Root Node :
1.48/1.53 c First LP value : +3.06782608820031e+00
1.48/1.53 c First LP Iters : 599 (51126.66 Iter/sec)
1.48/1.53 c First LP Time : 0.01
1.48/1.53 c Final Dual Bound : +3.23481257982604e+00
1.48/1.53 c Final Root Iters : 1879
1.48/1.53 c Root LP Estimate : +3.36637831240642e+00
1.48/1.53 c Solution :
1.48/1.53 c Solutions found : 257 (3 improvements)
1.48/1.53 c First Solution : +1.00000000000000e+02 (in run 1, after 1 nodes, 0.03 seconds, depth 0, found by <trivial>)
1.48/1.53 c Gap First Sol. : infinite
1.48/1.53 c Gap Last Sol. : 54.99 %
1.48/1.53 c Primal Bound : +5.00000000000000e+00 (in run 1, after 1 nodes, 0.52 seconds, depth 0, found by <rens>)
1.48/1.53 c Dual Bound : +5.00000000000000e+00
1.48/1.53 c Gap : 0.00 %
1.48/1.53 c Integrals : Total Avg%
1.48/1.53 c primal-dual : 61.37 40.05
1.48/1.53 c primal-ref : - - (not evaluated)
1.48/1.53 c dual-ref : - - (not evaluated)
1.48/1.55 c Time complete: 1.54187.
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: 63931 MiB (60491 MiB free)
memory of node 1: 64510 MiB (62265 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459832-1721939463/watcher-4459832-1721939463 -o /tmp/evaluation-result-4459832-1721939463/solver-4459832-1721939463 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721939462-253729 --watchdog 3760 pbscip -f HOME/instance-4459832-1721939463.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=253780, runsolver pid=253776
Current StackSize limit: 8192 KiB
[startup+0.100084 s]*
/proc/loadavg: 0.11 0.11 0.20 6/262 253793
/proc/meminfo: memFree=125624936/131524600 swapFree=131053920/131071996
[pid=253780] ppid=253776 vsize=83400 memory=44324 CPUtime=0.09 cores=0,2
/proc/253780/stat : 253780 (pbscip) R 253776 253780 253719 0 -1 4194304 7556 0 0 0 8 1 0 0 20 0 1 0 30475529 85401600 11081 134679101440 4194304 18693293 140730824122960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35581952 140730824127491 140730824127590 140730824127590 140730824134606 0
/proc/253780/statm: 20850 11081 3867 3540 0 9107 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 83400 KiB
Current children cumulated memory: 44324 KiB
[startup+0.205571 s]*
/proc/loadavg: 0.11 0.11 0.20 6/262 253793
/proc/meminfo: memFree=125551072/131524600 swapFree=131053920/131071996
[pid=253780] ppid=253776 vsize=96092 memory=56188 CPUtime=0.2 cores=0,2
/proc/253780/stat : 253780 (pbscip) R 253776 253780 253719 0 -1 4194304 10562 0 0 0 19 1 0 0 20 0 1 0 30475529 98398208 14047 134679101440 4194304 18693293 140730824122960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35581952 140730824127491 140730824127590 140730824127590 140730824134606 0
/proc/253780/statm: 24023 14047 3867 3540 0 12280 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 96092 KiB
Current children cumulated memory: 56188 KiB
[startup+0.305481 s]*
/proc/loadavg: 0.11 0.11 0.20 5/262 253793
/proc/meminfo: memFree=125537960/131524600 swapFree=131053920/131071996
[pid=253780] ppid=253776 vsize=96572 memory=56716 CPUtime=0.3 cores=0,2
/proc/253780/stat : 253780 (pbscip) R 253776 253780 253719 0 -1 4194304 10690 0 0 0 29 1 0 0 20 0 1 0 30475529 98889728 14179 134679101440 4194304 18693293 140730824122960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35581952 140730824127491 140730824127590 140730824127590 140730824134606 0
/proc/253780/statm: 24143 14179 3867 3540 0 12400 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 96572 KiB
Current children cumulated memory: 56716 KiB
[startup+0.7002 s]
/proc/loadavg: 0.11 0.11 0.20 5/262 253793
/proc/meminfo: memFree=125514272/131524600 swapFree=131053920/131071996
[pid=253780] ppid=253776 vsize=100668 memory=60888 CPUtime=0.68 cores=0,2
/proc/253780/stat : 253780 (pbscip) R 253776 253780 253719 0 -1 4194304 11584 0 0 0 67 1 0 0 20 0 1 0 30475529 103084032 15222 134679101440 4194304 18693293 140730824122960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35581952 140730824127491 140730824127590 140730824127590 140730824134606 0
/proc/253780/statm: 25167 15222 3977 3540 0 13424 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 100668 KiB
Current children cumulated memory: 60888 KiB
[startup+1.50021 s]
/proc/loadavg: 0.42 0.18 0.22 5/262 253793
/proc/meminfo: memFree=125493944/131524600 swapFree=131053920/131071996
[pid=253780] ppid=253776 vsize=100668 memory=60888 CPUtime=1.48 cores=0,2
/proc/253780/stat : 253780 (pbscip) R 253776 253780 253719 0 -1 4194304 11584 0 0 0 147 1 0 0 20 0 1 0 30475529 103084032 15222 134679101440 4194304 18693293 140730824122960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35581952 140730824127491 140730824127590 140730824127590 140730824134606 0
/proc/253780/statm: 25167 15222 3977 3540 0 13424 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 100668 KiB
Current children cumulated memory: 60888 KiB
[startup+1.55283 s]
# the end of solver process 253780 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1.52269 s, system=0.022906 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.50021 s]
/proc/loadavg: 0.42 0.18 0.22 5/262 253793
/proc/meminfo: memFree=125493944/131524600 swapFree=131053920/131071996
[pid=253780] ppid=253776 vsize=100668 memory=60888 CPUtime=1.48 cores=0,2
/proc/253780/stat : 253780 (pbscip) R 253776 253780 253719 0 -1 4194304 11584 0 0 0 147 1 0 0 20 0 1 0 30475529 103084032 15222 134679101440 4194304 18693293 140730824122960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35581952 140730824127491 140730824127590 140730824127590 140730824134606 0
/proc/253780/statm: 25167 15222 3977 3540 0 13424 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 100668 KiB
Current children cumulated memory: 60888 KiB
Child status: 0
Real time (s): 1.55285
CPU time (s): 1.54559
CPU user time (s): 1.52269
CPU system time (s): 0.022906
CPU usage (%): 99.5326
Max. virtual memory (cumulated for all children) (KiB): 101184
Max. memory (cumulated for all children) (KiB): 60888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.52269
system time used= 0.022906
maximum resident set size= 60972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11589
page faults= 1
swaps= 0
block input operations= 152
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 18
# summary of solver processes directly reported to runsolver:
# pid: 253780
# total CPU time (s): 1.54559
# total CPU user time (s): 1.52269
# total CPU system time (s): 0.022906
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.011586 second user time and 0.036876 second system time
The end