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