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