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