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