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