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