loading SCIP... n: 40 m: 59 packed: 11 density: 84 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 15 33 1 30 35 2 4 20 3 5 28 6 11 19 7 16 34 8 10 36 12 13 23 14 24 25 18 26 27 22 31 37