loading SCIP... n: 40 m: 67 packed: 12 density: 92 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 4 7 1 6 24 2 15 30 3 25 31 5 8 39 9 22 26 10 13 20 11 18 36 12 17 35 14 32 34 19 21 37 27 28 33