loading SCIP... n: 40 m: 39 packed: 9 density: 69 nodes: 0 solverTime: 16 buildTime: 0 solved: false 1 14 38 2 9 36 3 18 29 5 23 32 8 25 31 11 19 24 12 13 39 15 17 22 21 27 34