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