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