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