loading SCIP... n: 40 m: 36 packed: 9 density: 69 nodes: 0 solverTime: 15 buildTime: 0 solved: false 2 18 31 3 12 25 4 11 15 6 16 34 7 23 27 8 20 33 10 28 38 13 14 21 24 29 39