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