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