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