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