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