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