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