loading SCIP... n: 40 m: 61 packed: 10 density: 76 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 4 13 1 15 36 2 27 34 3 12 24 5 17 19 6 10 25 7 8 39 9 11 35 16 23 38 18 21 22