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