loading SCIP... n: 40 m: 27 packed: 9 density: 69 nodes: 0 solverTime: 15 buildTime: 0 solved: false 2 9 36 3 21 28 4 10 12 11 13 33 14 18 30 17 27 38 19 23 25 20 26 39 22 24 37