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