loading SCIP... n: 40 m: 31 packed: 9 density: 69 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 1 35 2 17 27 4 25 28 7 15 30 8 26 36 9 10 29 11 24 34 13 16 33 19 21 23