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