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