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