loading SCIP... n: 40 m: 62 packed: 11 density: 84 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 15 34 1 24 35 2 25 28 3 17 37 4 9 13 5 20 23 8 16 30 10 27 36 11 18 39 12 19 22 14 33 38