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