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