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