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