loading SCIP... n: 40 m: 48 packed: 11 density: 84 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 13 36 1 9 10 2 30 31 3 14 16 4 23 37 5 19 26 7 17 29 8 20 28 11 15 35 18 21 38 22 34 39