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