loading SCIP... n: 40 m: 63 packed: 10 density: 76 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 11 23 1 17 27 3 25 35 4 15 22 5 13 32 7 8 14 10 28 31 12 16 18 19 20 24 21 26 39