loading SCIP... n: 40 m: 105 packed: 12 density: 92 nodes: 0 solverTime: 78 buildTime: 0 solved: false 0 13 34 1 8 9 2 20 39 3 21 38 4 10 33 5 16 24 6 19 35 7 28 37 11 15 18 12 14 23 22 26 32 27 29 30