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