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