loading SCIP... n: 40 m: 43 packed: 9 density: 69 nodes: 0 solverTime: 16 buildTime: 0 solved: false 1 10 26 2 32 37 4 5 14 6 16 31 7 8 30 11 17 27 12 29 34 18 23 36 24 28 33