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