loading SCIP... n: 40 m: 71 packed: 12 density: 92 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 16 21 2 24 30 3 11 13 4 5 36 6 18 28 7 33 37 8 19 25 9 34 35 12 17 22 15 29 39 20 26 32 23 27 38