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-4459792-1721939463.opb>
0.00/0.00 c original problem has 726 variables (100 bin, 0 int, 626 impl, 0 cont) and 826 constraints
0.00/0.00 c problem read in 0.00
0.00/0.00 o 0
0.00/0.00 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 0.000000e+00
0.00/0.00 c presolving:
0.00/0.01 c (round 1, fast) 626 del vars, 100 del conss, 0 add conss, 626 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2, fast) 626 del vars, 100 del conss, 0 add conss, 626 chg bounds, 0 chg sides, 0 chg coeffs, 626 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 3, medium) 626 del vars, 200 del conss, 0 add conss, 626 chg bounds, 0 chg sides, 0 chg coeffs, 626 upgd conss, 0 impls, 625 clqs
0.00/0.01 c (0.0s) probing: 51/100 (51.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.01 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.01 c (0.0s) no symmetry present (symcode time: 0.00)
0.00/0.01 c presolving (4 rounds: 4 fast, 2 medium, 1 exhaustive):
0.00/0.01 c 626 deleted vars, 200 deleted constraints, 0 added constraints, 626 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 0 implications, 625 cliques
0.00/0.01 c presolved problem has 100 variables (100 bin, 0 int, 0 impl, 0 cont) and 626 constraints
0.00/0.01 c 626 constraints of type <setppc>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.01
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 10.0.0
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.01 c limits/time = 3596.997026
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.01 c limits/memory = 27900
0.00/0.01 c
0.00/0.01 c # belongs reading time to solving time?
0.00/0.01 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c transformed 1/1 original solutions to the transformed problem space
0.00/0.01 c
0.00/0.01 o -18
0.00/0.01 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.01 c p 0.0s| 1 | 0 | 0 | - | clique| 0 | 100 | 626 | 626 | 0 | 0 | 0 | 0 |-1.000000e+02 |-1.800000e+01 | 455.56%| unknown
0.00/0.01 o -21
0.00/0.01 c p 0.0s| 1 | 0 | 0 | - | locks| 0 | 100 | 626 | 626 | 0 | 0 | 0 | 0 |-1.000000e+02 |-2.100000e+01 | 376.19%| unknown
0.00/0.02 o -22
0.00/0.02 c p 0.0s| 1 | 0 | 7 | - | vbounds| 0 | 100 | 626 | 626 | 0 | 0 | 0 | 0 |-1.000000e+02 |-2.200000e+01 | 354.55%| unknown
0.00/0.02 c 0.0s| 1 | 0 | 113 | - | 5706k | 0 | 100 | 626 | 626 | 0 | 0 | 0 | 0 |-5.000000e+01 |-2.200000e+01 | 127.27%| unknown
0.00/0.02 c 0.0s| 1 | 0 | 174 | - | 6164k | 0 | 100 | 626 | 634 | 8 | 1 | 0 | 0 |-4.550000e+01 |-2.200000e+01 | 106.82%| unknown
0.00/0.03 c 0.0s| 1 | 0 | 215 | - | 6234k | 0 | 100 | 626 | 645 | 19 | 2 | 0 | 0 |-4.200000e+01 |-2.200000e+01 | 90.91%| unknown
0.00/0.03 c 0.0s| 1 | 0 | 259 | - | 6303k | 0 | 100 | 626 | 654 | 28 | 3 | 0 | 0 |-4.000000e+01 |-2.200000e+01 | 81.82%| unknown
0.00/0.04 c 0.0s| 1 | 0 | 297 | - | 6386k | 0 | 100 | 626 | 662 | 36 | 4 | 0 | 0 |-3.900000e+01 |-2.200000e+01 | 77.27%| unknown
0.00/0.05 c 0.0s| 1 | 0 | 368 | - | 6662k | 0 | 100 | 626 | 671 | 45 | 5 | 0 | 0 |-3.750000e+01 |-2.200000e+01 | 70.45%| unknown
0.00/0.06 c 0.1s| 1 | 0 | 447 | - | 6759k | 0 | 100 | 626 | 686 | 60 | 6 | 0 | 0 |-3.650000e+01 |-2.200000e+01 | 65.91%| unknown
0.00/0.07 c 0.1s| 1 | 0 | 520 | - | 6832k | 0 | 100 | 626 | 694 | 68 | 7 | 0 | 0 |-3.550000e+01 |-2.200000e+01 | 61.36%| unknown
0.00/0.08 c 0.1s| 1 | 0 | 636 | - | 6905k | 0 | 100 | 626 | 706 | 80 | 8 | 0 | 0 |-3.450000e+01 |-2.200000e+01 | 56.82%| unknown
0.09/0.13 c 0.1s| 1 | 0 | 715 | - | 9511k | 0 | 100 | 626 | 715 | 89 | 9 | 0 | 0 |-3.377368e+01 |-2.200000e+01 | 53.52%| unknown
0.09/0.16 c 0.2s| 1 | 0 | 784 | - | 13M | 0 | 100 | 626 | 725 | 99 | 10 | 0 | 0 |-3.308085e+01 |-2.200000e+01 | 50.37%| unknown
0.09/0.16 c 0.2s| 1 | 0 | 844 | - | 13M | 0 | 100 | 626 | 735 | 109 | 11 | 0 | 0 |-3.271169e+01 |-2.200000e+01 | 48.69%| unknown
0.09/0.16 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.16 c 0.2s| 1 | 0 | 893 | - | 13M | 0 | 100 | 626 | 741 | 115 | 12 | 0 | 0 |-3.242032e+01 |-2.200000e+01 | 47.37%| unknown
0.09/0.17 c 0.2s| 1 | 0 | 942 | - | 14M | 0 | 100 | 626 | 747 | 121 | 13 | 0 | 0 |-3.218365e+01 |-2.200000e+01 | 46.29%| unknown
0.09/0.17 c 0.2s| 1 | 0 | 994 | - | 14M | 0 | 100 | 626 | 753 | 127 | 14 | 0 | 0 |-3.197277e+01 |-2.200000e+01 | 45.33%| unknown
0.09/0.18 c 0.2s| 1 | 0 | 1034 | - | 14M | 0 | 100 | 626 | 758 | 132 | 15 | 0 | 0 |-3.182041e+01 |-2.200000e+01 | 44.64%| unknown
0.09/0.18 c 0.2s| 1 | 0 | 1063 | - | 14M | 0 | 100 | 626 | 762 | 140 | 16 | 0 | 0 |-3.167049e+01 |-2.200000e+01 | 43.96%| unknown
0.09/0.18 c 0.2s| 1 | 0 | 1093 | - | 14M | 0 | 100 | 626 | 770 | 148 | 17 | 0 | 0 |-3.131152e+01 |-2.200000e+01 | 42.33%| unknown
0.09/0.19 c 0.2s| 1 | 0 | 1125 | - | 14M | 0 | 100 | 626 | 772 | 150 | 18 | 0 | 0 |-3.124168e+01 |-2.200000e+01 | 42.01%| unknown
0.09/0.19 c 0.2s| 1 | 0 | 1169 | - | 14M | 0 | 100 | 626 | 777 | 155 | 19 | 0 | 0 |-3.116767e+01 |-2.200000e+01 | 41.67%| unknown
0.09/0.20 c 0.2s| 1 | 0 | 1240 | - | 14M | 0 | 100 | 626 | 783 | 161 | 20 | 0 | 0 |-3.096891e+01 |-2.200000e+01 | 40.77%| unknown
0.09/0.20 c 0.2s| 1 | 0 | 1281 | - | 14M | 0 | 100 | 626 | 790 | 168 | 21 | 0 | 0 |-3.089802e+01 |-2.200000e+01 | 40.45%| unknown
0.09/0.20 c 0.2s| 1 | 0 | 1293 | - | 14M | 0 | 100 | 626 | 791 | 175 | 22 | 0 | 0 |-3.088988e+01 |-2.200000e+01 | 40.41%| unknown
0.09/0.20 c 0.2s| 1 | 0 | 1302 | - | 14M | 0 | 100 | 626 | 795 | 179 | 23 | 0 | 0 |-3.088538e+01 |-2.200000e+01 | 40.39%| unknown
0.20/0.21 c 0.2s| 1 | 0 | 1305 | - | 14M | 0 | 100 | 626 | 796 | 180 | 24 | 0 | 0 |-3.088507e+01 |-2.200000e+01 | 40.39%| unknown
0.30/0.33 c 0.3s| 1 | 2 | 1305 | - | 14M | 0 | 100 | 626 | 796 | 180 | 25 | 0 | 30 |-3.044754e+01 |-2.200000e+01 | 38.40%| unknown
0.69/0.76 o -23
0.69/0.76 c * 0.8s| 46 | 10 | 2768 | 32.7 |strongbr| 11 | 100 | 634 | 724 | 186 | 1 | 8 | 393 |-3.044754e+01 |-2.300000e+01 | 32.38%| 11.36%
0.69/0.80 o -24
0.69/0.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.69/0.80 c * 0.8s| 66 | 12 | 3252 | 30.1 |strongbr| 11 | 100 | 626 | 724 | 186 | 1 | 8 | 428 |-3.044754e+01 |-2.400000e+01 | 26.86%| 15.85%
0.79/0.85 c 0.9s| 100 | 18 | 4166 | 29.0 | 15M | 11 | 100 | 639 | 724 | 186 | 1 | 21 | 473 |-3.044754e+01 |-2.400000e+01 | 26.86%| 23.23%
0.88/0.92 o -25
0.88/0.92 c * 0.9s| 111 | 13 | 4668 | 30.6 |strongbr| 11 | 100 | 650 | 724 | 186 | 2 | 32 | 550 |-3.044754e+01 |-2.500000e+01 | 21.79%| 25.38%
1.09/1.19 c 1.2s| 200 | 16 | 7123 | 29.3 | 17M | 11 | 100 | 668 | 726 | 229 | 1 | 50 | 582 |-3.016744e+01 |-2.500000e+01 | 20.67%| 48.05%
1.78/1.88 c 1.9s| 300 | 14 | 10713 | 31.5 | 30M | 14 | 100 | 680 | 732 | 390 | 1 | 62 | 605 |-2.971146e+01 |-2.500000e+01 | 18.85%| 66.23%
2.48/2.57 c 2.6s| 400 | 14 | 14229 | 32.4 | 37M | 19 | 100 | 662 | 760 | 560 | 0 | 79 | 639 |-2.889469e+01 |-2.500000e+01 | 15.58%| 85.50%
2.78/2.86 c 2.9s| 500 | 16 | 17345 | 32.2 | 37M | 22 | 100 | 667 | 762 | 653 | 0 | 91 | 647 |-2.812963e+01 |-2.500000e+01 | 12.52%| 88.83%
3.08/3.11 c
3.08/3.11 c SCIP Status : problem is solved [optimal solution found]
3.08/3.11 c Solving Time (sec) : 3.11
3.08/3.11 c Solving Nodes : 568
3.08/3.11 c Primal Bound : -2.50000000000000e+01 (299 solutions)
3.08/3.11 c Dual Bound : -2.50000000000000e+01
3.08/3.11 c Gap : 0.00 %
3.08/3.11 s OPTIMUM FOUND
3.08/3.11 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 -x74 -x73
3.08/3.11 v -x72 -x71 -x70 -x69 -x68 -x67 x66 x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 x56 -x55 -x54 x53 -x52 -x51 x50 -x49 -x48 -x47
3.08/3.11 v -x46 -x45 -x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 x32 x31 -x30 -x29 x28 x27 -x26 -x25 -x24 -x23 -x22 x21
3.08/3.11 v -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
3.08/3.11 c SCIP Status : problem is solved [optimal solution found]
3.08/3.11 c Total Time : 3.11
3.08/3.11 c solving : 3.11
3.08/3.11 c presolving : 0.01 (included in solving)
3.08/3.11 c reading : 0.00 (included in solving)
3.08/3.11 c copying : 0.01 (6 #copies) (minimal 0.00, maximal 0.00, average 0.00)
3.08/3.11 c Original Problem :
3.08/3.11 c Problem name : HOME/instance-4459792-1721939463.opb
3.08/3.11 c Variables : 726 (100 binary, 0 integer, 626 implicit integer, 0 continuous)
3.08/3.11 c Constraints : 826 initial, 826 maximal
3.08/3.11 c Objective : minimize, 100 non-zeros (abs.min = 1, abs.max = 1)
3.08/3.11 c Presolved Problem :
3.08/3.11 c Problem name : t_HOME/instance-4459792-1721939463.opb
3.08/3.11 c Variables : 100 (100 binary, 0 integer, 0 implicit integer, 0 continuous)
3.08/3.11 c Constraints : 626 initial, 689 maximal
3.08/3.11 c Objective : minimize, 100 non-zeros (abs.min = 1, abs.max = 1)
3.08/3.11 c Nonzeros : 1252 constraint, 1182 clique table
3.08/3.11 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3.08/3.11 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3.08/3.11 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3.08/3.11 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3.08/3.11 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3.08/3.11 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3.08/3.11 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3.08/3.11 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3.08/3.11 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3.08/3.11 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3.08/3.11 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3.08/3.11 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3.08/3.11 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3.08/3.11 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3.08/3.11 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3.08/3.11 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3.08/3.11 c trivial : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3.08/3.11 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3.08/3.11 c dualfix : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3.08/3.11 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3.08/3.11 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3.08/3.11 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3.08/3.11 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3.08/3.11 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3.08/3.11 c setppc : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3.08/3.11 c and : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3.08/3.11 c linear : 0.00 0.00 1 626 0 0 626 0 100 0 0 0
3.08/3.11 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3.08/3.11 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3.08/3.11 c pseudoboolean : 0.00 0.00 1 0 0 0 0 0 100 0 0 0
3.08/3.11 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3.08/3.11 c root node : - - - 41 - - 41 - - - - -
3.08/3.11 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3.08/3.11 c benderslp : 0 0 0 0 377 0 0 321 0 0 0 0 0 0 0
3.08/3.11 c integral : 0 0 0 0 377 0 0 321 0 3 209 0 0 76 572
3.08/3.11 c setppc : 626 626 25 3967 0 0 0 315 1825 0 2643 0 0 0 0
3.08/3.11 c logicor : 0+ 81 0 788 0 0 0 0 13 2 16 0 0 0 0
3.08/3.11 c benders : 0 0 0 0 0 0 0 302 0 0 0 0 0 0 0
3.08/3.11 c fixedvar : 0 0 0 0 0 0 0 302 0 0 0 0 0 0 0
3.08/3.11 c countsols : 0 0 0 0 0 0 0 302 0 0 0 0 0 0 0
3.08/3.11 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3.08/3.11 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3.08/3.11 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3.08/3.11 c integral : 0.71 0.00 0.00 0.00 0.71 0.00 0.00 0.00 0.00 0.00
3.08/3.11 c setppc : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.01
3.08/3.11 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3.08/3.11 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3.08/3.11 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3.08/3.11 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3.08/3.11 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3.08/3.11 c Propagators : #Propagate #ResProp Cutoffs DomReds
3.08/3.11 c dualfix : 2 0 0 0
3.08/3.11 c genvbounds : 0 0 0 0
3.08/3.11 c nlobbt : 0 0 0 0
3.08/3.11 c obbt : 0 0 0 0
3.08/3.11 c probing : 0 0 0 0
3.08/3.11 c pseudoobj : 1445 0 0 0
3.08/3.11 c redcost : 1001 0 0 114
3.08/3.11 c rootredcost : 4 0 0 0
3.08/3.11 c symmetry : 0 0 0 0
3.08/3.11 c vbounds : 1430 0 0 0
3.08/3.11 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3.08/3.11 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3.08/3.11 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3.08/3.11 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3.08/3.11 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3.08/3.11 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
3.08/3.11 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3.08/3.11 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3.08/3.11 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3.08/3.11 c symmetry : 0.00 0.00 0.00 0.00 0.00 0.00
3.08/3.11 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3.08/3.11 c Symmetry :
3.08/3.11 c orbitopal red. : 0 reductions applied, 0 cutoffs
3.08/3.11 c orbital reduction: 0 reductions applied, 0 cutoffs
3.08/3.11 c lexicographic red: 0 reductions applied, 0 cutoffs
3.08/3.11 c shadow tree time : 0.00 s
3.08/3.11 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3.08/3.11 c propagation : 0.00 2 2 - 2 10.5 0 0.0 - - -
3.08/3.11 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3.08/3.11 c bound exceed. LP : 0.02 283 96 - 374 19.6 0 0.0 0 0.0 717
3.08/3.11 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3.08/3.11 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3.08/3.11 c applied globally : 0.00 - - 0 89 8.1 - - 0 - -
3.08/3.11 c applied locally : - - - 0 9 17.4 - - 0 - -
3.08/3.11 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3.08/3.11 c cut pool : 0.04 - 301 47 - - 4725 9016 - - - - - (maximal pool size: 2773)
3.08/3.11 c aggregation : 0.06 0.00 167 25 0 0 0 0 0 0 0 0 0
3.08/3.11 c > cmir : - - - - - - - 0 0 0 0 0 -
3.08/3.11 c > flowcover : - - - - - - - 0 0 0 0 0 -
3.08/3.11 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3.08/3.11 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3.08/3.11 c clique : 0.01 0.00 25 25 0 0 142 715 0 330 330 0 0
3.08/3.11 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3.08/3.11 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3.08/3.11 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3.08/3.11 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3.08/3.11 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3.08/3.11 c gomory : 1.60 0.00 108 10 0 0 4379 7370 0 124 124 0 0
3.08/3.11 c > gomorymi : - - - - - - - 3079 0 51 51 0 -
3.08/3.11 c > strongcg : - - - - - - - 4291 0 73 73 0 -
3.08/3.11 c impliedbounds : 0.00 0.00 167 25 0 0 0 0 0 0 0 0 0
3.08/3.11 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3.08/3.11 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3.08/3.11 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3.08/3.11 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3.08/3.11 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3.08/3.11 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3.08/3.11 c multilinear : 0.00 0.00 56 25 0 0 0 0 0 0 0 0 0
3.08/3.11 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3.08/3.11 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3.08/3.11 c rlt : 0.00 0.00 43 10 0 0 0 0 0 0 0 0 0
3.08/3.11 c zerohalf : 0.07 0.00 118 20 0 0 205 931 1 282 282 0 0
3.08/3.11 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3.08/3.11 c hybrid : 0.00 0.00 178 24 736 0 8281 180 0 658
3.08/3.11 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3.08/3.11 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3.08/3.11 c Pricers : ExecTime SetupTime Calls Vars
3.08/3.11 c problem variables: 0.00 - 0 0
3.08/3.11 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3.08/3.11 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3.08/3.11 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3.08/3.11 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3.08/3.11 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3.08/3.11 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3.08/3.11 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3.08/3.11 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3.08/3.11 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3.08/3.11 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3.08/3.11 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3.08/3.11 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3.08/3.11 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3.08/3.11 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3.08/3.11 c relpscost : 0.71 0.00 377 0 0 3 209 0 76 572
3.08/3.11 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3.08/3.11 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3.08/3.11 c LP solutions : 0.00 - - 0 0
3.08/3.11 c relax solutions : 0.00 - - 0 0
3.08/3.11 c pseudo solutions : 0.00 - - 0 0
3.08/3.11 c strong branching : 0.01 - - 183 3
3.08/3.11 c actconsdiving : 0.00 0.00 0 0 0
3.08/3.11 c adaptivediving : 0.00 0.00 1 0 0
3.08/3.11 c alns : 0.02 0.00 5 0 0
3.08/3.11 c bound : 0.00 0.00 0 0 0
3.08/3.11 c clique : 0.00 0.00 1 1 1
3.08/3.11 c coefdiving : 0.00 0.00 0 0 0
3.08/3.11 c completesol : 0.00 0.00 0 0 0
3.08/3.11 c conflictdiving : 0.00 0.00 1 0 0
3.08/3.11 c crossover : 0.00 0.00 0 0 0
3.08/3.11 c dins : 0.00 0.00 0 0 0
3.08/3.11 c distributiondivin: 0.00 0.00 0 0 0
3.08/3.11 c dps : 0.00 0.00 0 0 0
3.08/3.11 c dualval : 0.00 0.00 0 0 0
3.08/3.11 c farkasdiving : 0.00 0.00 0 0 0
3.08/3.11 c feasjump : 0.00 0.00 0 0 0
3.08/3.11 c feaspump : 0.00 0.00 0 0 0
3.08/3.11 c fixandinfer : 0.00 0.00 0 0 0
3.08/3.11 c fracdiving : 0.00 0.00 0 0 0
3.08/3.11 c gins : 0.00 0.00 0 0 0
3.08/3.11 c guideddiving : 0.00 0.00 0 0 0
3.08/3.11 c indcoefdiving : 0.00 0.00 0 0 0
3.08/3.11 c indicator : 0.00 0.00 0 0 0
3.08/3.11 c indicatordiving : 0.00 0.00 0 0 0
3.08/3.11 c indoneopt : 0.00 0.00 0 0 0
3.08/3.11 c indrounding : 0.00 0.00 0 0 0
3.08/3.11 c indtwoopt : 0.00 0.00 0 0 0
3.08/3.11 c intdiving : 0.00 0.00 0 0 0
3.08/3.11 c intshifting : 0.00 0.00 0 0 0
3.08/3.11 c linesearchdiving : 0.00 0.00 0 0 0
3.08/3.11 c localbranching : 0.00 0.00 0 0 0
3.08/3.11 c locks : 0.00 0.00 1 1 1
3.08/3.11 c lpface : 0.00 0.00 0 0 0
3.08/3.11 c mpec : 0.00 0.00 0 0 0
3.08/3.11 c multistart : 0.00 0.00 0 0 0
3.08/3.11 c mutation : 0.00 0.00 0 0 0
3.08/3.11 c nlpdiving : 0.00 0.00 0 0 0
3.08/3.11 c objpscostdiving : 0.00 0.00 0 0 0
3.08/3.11 c octane : 0.00 0.00 0 0 0
3.08/3.11 c ofins : 0.00 0.00 0 0 0
3.08/3.11 c oneopt : 0.00 0.00 4 0 0
3.08/3.11 c padm : 0.00 0.00 0 0 0
3.08/3.11 c proximity : 0.00 0.00 0 0 0
3.08/3.11 c pscostdiving : 0.00 0.00 1 0 0
3.08/3.11 c randrounding : 0.01 0.00 40 25 0
3.08/3.11 c rens : 0.00 0.00 0 0 0
3.08/3.11 c reoptsols : 0.00 0.00 0 0 0
3.08/3.11 c repair : 0.00 0.00 0 0 0
3.08/3.11 c rins : 0.02 0.00 1 1 0
3.08/3.11 c rootsoldiving : 0.00 0.00 0 0 0
3.08/3.11 c rounding : 0.02 0.00 283 0 0
3.08/3.11 c scheduler : 0.00 0.00 0 0 0
3.08/3.11 c shiftandpropagate: 0.00 0.00 0 0 0
3.08/3.11 c shifting : 0.01 0.00 154 0 0
3.08/3.11 c simplerounding : 0.00 0.00 555 9 0
3.08/3.11 c smallcard : 0.00 0.00 0 0 0
3.08/3.11 c subnlp : 0.00 0.00 0 0 0
3.08/3.11 c trivial : 0.00 0.00 2 1 1
3.08/3.11 c trivialnegation : 0.00 0.00 0 0 0
3.08/3.11 c trustregion : 0.00 0.00 0 0 0
3.08/3.11 c trysol : 0.00 0.00 0 0 0
3.08/3.11 c twoopt : 0.00 0.00 0 0 0
3.08/3.11 c undercover : 0.00 0.00 0 0 0
3.08/3.11 c vbounds : 0.00 0.00 1 1 1
3.08/3.11 c veclendiving : 0.00 0.00 0 0 0
3.08/3.11 c zeroobj : 0.00 0.00 0 0 0
3.08/3.11 c zirounding : 0.01 0.00 286 77 0
3.08/3.11 c other solutions : - - - 0 -
3.08/3.11 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3.08/3.11 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
3.08/3.11 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
3.08/3.11 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
3.08/3.11 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
3.08/3.11 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
3.08/3.11 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
3.08/3.11 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
3.08/3.11 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
3.08/3.11 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
3.08/3.11 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3.08/3.11 c primal LP : 0.01 66 0 0.00 - 0.01 66
3.08/3.11 c dual LP : 0.39 923 18603 22.33 47161.15 0.01 90
3.08/3.11 c lex dual LP : 0.00 0 0 0.00 -
3.08/3.11 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3.08/3.11 c resolve instable : 0.00 0 0 0.00 -
3.08/3.11 c diving/probing LP: 0.04 124 584 4.71 13019.15
3.08/3.11 c strong branching : 0.56 653 27739 42.48 49406.35 - - 16
3.08/3.11 c (at root node) : - 30 4777 159.23 -
3.08/3.11 c conflict analysis: 0.01 79 717 9.08 48495.10
3.08/3.11 c B&B Tree :
3.08/3.11 c number of runs : 1
3.08/3.11 c nodes : 568 (286 internal, 282 leaves)
3.08/3.11 c feasible leaves : 0
3.08/3.11 c infeas. leaves : 0
3.08/3.11 c objective leaves : 282
3.08/3.11 c nodes (total) : 568 (286 internal, 282 leaves)
3.08/3.11 c nodes left : 0
3.08/3.11 c max depth : 26
3.08/3.11 c max depth (total): 26
3.08/3.11 c backtracks : 113 (19.9%)
3.08/3.11 c early backtracks : 0 (0.0%)
3.08/3.11 c nodes exc. ref. : 0 (0.0%)
3.08/3.11 c delayed cutoffs : 0
3.08/3.11 c repropagations : 10 (5 domain reductions, 0 cutoffs)
3.08/3.11 c avg switch length: 3.57
3.08/3.11 c switching time : 0.02
3.08/3.11 c Root Node :
3.08/3.11 c First LP value : -5.00000000000000e+01
3.08/3.11 c First LP Iters : 106 (189285.71 Iter/sec)
3.08/3.11 c First LP Time : 0.00
3.08/3.11 c Final Dual Bound : -3.04475409836066e+01
3.08/3.11 c Final Root Iters : 1298
3.08/3.11 c Root LP Estimate : -1.62115768533064e+01
3.08/3.11 c Solution :
3.08/3.11 c Solutions found : 299 (7 improvements)
3.08/3.11 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
3.08/3.11 c Gap First Sol. : infinite
3.08/3.11 c Gap Last Sol. : 21.79 %
3.08/3.11 c Primal Bound : -2.50000000000000e+01 (in run 1, after 111 nodes, 0.92 seconds, depth 10, found by <relaxation>)
3.08/3.11 c Dual Bound : -2.50000000000000e+01
3.08/3.11 c Gap : 0.00 %
3.08/3.11 c Integrals : Total Avg%
3.08/3.11 c primal-dual : 59.36 19.10
3.08/3.11 c primal-ref : - - (not evaluated)
3.08/3.11 c dual-ref : - - (not evaluated)
3.08/3.12 c Time complete: 3.10906.
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: 63968 MiB (61343 MiB free)
memory of node 1: 64473 MiB (62237 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459792-1721939463/watcher-4459792-1721939463 -o /tmp/evaluation-result-4459792-1721939463/solver-4459792-1721939463 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721939462-308653 --watchdog 3760 pbscip -f HOME/instance-4459792-1721939463.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Current StackSize limit: 8192 KiB
solver pid=308698, runsolver pid=308695
[startup+0.100542 s]*
/proc/loadavg: 0.12 0.11 0.17 7/253 308704
/proc/meminfo: memFree=126521320/131524600 swapFree=131056796/131071996
[pid=308698] ppid=308695 vsize=62824 memory=24104 CPUtime=0.09 cores=1,3
/proc/308698/stat : 308698 (pbscip) R 308695 308698 308641 0 -1 4194304 2530 0 0 0 9 0 0 0 20 0 1 0 30470221 64331776 6026 134679101440 4194304 18693293 140733721847168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37482496 140733721850883 140733721850982 140733721850982 140733721857998 0
/proc/308698/statm: 15706 6026 3869 3540 0 3963 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 62824 KiB
Current children cumulated memory: 24104 KiB
[startup+0.205407 s]*
/proc/loadavg: 0.12 0.11 0.17 5/253 308722
/proc/meminfo: memFree=126492212/131524600 swapFree=131056796/131071996
[pid=308698] ppid=308695 vsize=69936 memory=30440 CPUtime=0.2 cores=1,3
/proc/308698/stat : 308698 (pbscip) R 308695 308698 308641 0 -1 4194304 4117 0 0 0 20 0 0 0 20 0 1 0 30470221 71614464 7610 134679101440 4194304 18693293 140733721847168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37482496 140733721850883 140733721850982 140733721850982 140733721857998 0
/proc/308698/statm: 17484 7610 3869 3540 0 5741 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 69936 KiB
Current children cumulated memory: 30440 KiB
[startup+0.304588 s]*
/proc/loadavg: 0.12 0.11 0.17 5/253 308722
/proc/meminfo: memFree=126476760/131524600 swapFree=131056796/131071996
[pid=308698] ppid=308695 vsize=73288 memory=32872 CPUtime=0.3 cores=1,3
/proc/308698/stat : 308698 (pbscip) R 308695 308698 308641 0 -1 4194304 4673 0 0 0 30 0 0 0 20 0 1 0 30470221 75046912 8218 134679101440 4194304 18693293 140733721847168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37482496 140733721850883 140733721850982 140733721850982 140733721857998 0
/proc/308698/statm: 18322 8218 3884 3540 0 6579 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 73288 KiB
Current children cumulated memory: 32872 KiB
[startup+0.700189 s]
/proc/loadavg: 0.12 0.11 0.17 4/253 308722
/proc/meminfo: memFree=126456712/131524600 swapFree=131056796/131071996
[pid=308698] ppid=308695 vsize=73288 memory=32872 CPUtime=0.69 cores=1,3
/proc/308698/stat : 308698 (pbscip) R 308695 308698 308641 0 -1 4194304 4677 0 0 0 69 0 0 0 20 0 1 0 30470221 75046912 8218 134679101440 4194304 18693293 140733721847168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37482496 140733721850883 140733721850982 140733721850982 140733721857998 0
/proc/308698/statm: 18322 8218 3884 3540 0 6579 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 73288 KiB
Current children cumulated memory: 32872 KiB
[startup+1.50018 s]
/proc/loadavg: 0.12 0.11 0.17 5/252 308750
/proc/meminfo: memFree=126437416/131524600 swapFree=131056796/131071996
[pid=308698] ppid=308695 vsize=78596 memory=38312 CPUtime=1.48 cores=1,3
/proc/308698/stat : 308698 (pbscip) R 308695 308698 308641 0 -1 4194304 5995 0 0 0 148 0 0 0 20 0 1 0 30470221 80482304 9578 134679101440 4194304 18693293 140733721847168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37482496 140733721850883 140733721850982 140733721850982 140733721857998 0
/proc/308698/statm: 19649 9578 3928 3540 0 7906 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 78596 KiB
Current children cumulated memory: 38312 KiB
[startup+3.10543 s]
/proc/loadavg: 0.12 0.11 0.17 5/258 308760
/proc/meminfo: memFree=126265248/131524600 swapFree=131056796/131071996
[pid=308698] ppid=308695 vsize=96200 memory=53124 CPUtime=3.08 cores=1,3
/proc/308698/stat : 308698 (pbscip) R 308695 308698 308641 0 -1 4194304 9688 0 0 0 307 1 0 0 20 0 1 0 30470221 98508800 13281 134679101440 4194304 18693293 140733721847168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37482496 140733721850883 140733721850982 140733721850982 140733721857998 0
/proc/308698/statm: 24050 13281 4023 3540 0 12307 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 96200 KiB
Current children cumulated memory: 53124 KiB
[startup+3.12574 s]
# the end of solver process 308698 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3.09351 s, system=0.01988 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.10543 s]
/proc/loadavg: 0.12 0.11 0.17 5/258 308760
/proc/meminfo: memFree=126265248/131524600 swapFree=131056796/131071996
[pid=308698] ppid=308695 vsize=96200 memory=53124 CPUtime=3.08 cores=1,3
/proc/308698/stat : 308698 (pbscip) R 308695 308698 308641 0 -1 4194304 9688 0 0 0 307 1 0 0 20 0 1 0 30470221 98508800 13281 134679101440 4194304 18693293 140733721847168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 37482496 140733721850883 140733721850982 140733721850982 140733721857998 0
/proc/308698/statm: 24050 13281 4023 3540 0 12307 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 96200 KiB
Current children cumulated memory: 53124 KiB
Child status: 0
Real time (s): 3.12577
CPU time (s): 3.11339
CPU user time (s): 3.09351
CPU system time (s): 0.01988
CPU usage (%): 99.6038
Max. virtual memory (cumulated for all children) (KiB): 96200
Max. memory (cumulated for all children) (KiB): 53124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.09351
system time used= 0.01988
maximum resident set size= 53124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9693
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= 7
involuntary context switches= 9
# summary of solver processes directly reported to runsolver:
# pid: 308698
# total CPU time (s): 3.11339
# total CPU user time (s): 3.09351
# total CPU system time (s): 0.01988
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.013627 second user time and 0.044368 second system time
The end