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