loading SCIP... n: 40 m: 55 packed: 10 density: 76 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 11 23 2 30 33 6 7 34 9 14 16 10 18 27 12 13 17 19 21 36 22 24 25 26 31 37 29 35 39