loading SCIP... n: 40 m: 44 packed: 10 density: 76 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 3 32 1 29 37 2 12 21 4 5 6 9 26 30 10 11 23 14 15 31 17 27 28 18 34 38 22 35 39