loading SCIP... n: 40 m: 35 packed: 9 density: 69 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 8 13 1 22 29 2 26 33 4 6 11 5 10 16 7 17 28 9 21 23 12 34 38 18 27 30