loading SCIP... n: 40 m: 40 packed: 9 density: 69 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 16 18 1 20 23 4 21 36 5 9 28 7 19 37 8 22 29 10 11 33 12 30 32 17 24 31