loading SCIP... n: 40 m: 59 packed: 11 density: 84 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 19 34 1 6 38 3 13 33 4 15 31 7 17 21 8 22 32 10 28 30 11 25 37 12 14 16 18 23 24 26 27 35