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