loading SCIP... n: 40 m: 72 packed: 11 density: 84 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 3 25 1 11 22 5 14 28 6 8 32 7 27 39 9 16 33 10 17 36 12 13 34 15 20 35 19 23 26 21 30 37