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