loading SCIP... n: 40 m: 20 packed: 8 density: 61 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 21 34 1 23 27 5 7 37 8 30 33 9 11 17 12 19 25 14 24 28 18 22 32