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