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