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