loading SCIP... n: 40 m: 53 packed: 9 density: 69 nodes: 0 solverTime: 15 buildTime: 0 solved: false 1 3 38 2 12 16 5 6 8 7 18 30 9 33 35 10 13 26 11 14 20 22 31 36 27 32 39