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