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