loading SCIP... n: 40 m: 36 packed: 10 density: 76 nodes: 0 solverTime: 31 buildTime: 0 solved: false 4 7 34 5 14 27 6 17 30 8 11 18 9 26 31 10 33 39 12 21 28 15 20 36 22 23 35 25 29 37