loading SCIP... n: 40 m: 59 packed: 11 density: 84 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 7 27 2 8 26 3 23 24 4 10 16 5 21 33 9 28 37 11 18 39 13 19 35 14 15 34 17 20 25 29 30 32