loading SCIP... n: 40 m: 34 packed: 8 density: 61 nodes: 0 solverTime: 16 buildTime: 0 solved: false 1 2 31 4 22 37 5 9 33 6 8 11 13 35 38 15 20 36 23 30 34 24 25 29