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