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