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