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