loading SCIP... n: 30 m: 507 packed: 10 density: 100 nodes: 0 solverTime: 157 buildTime: 0 solved: true 0 12 20 1 3 25 2 24 28 4 17 19 5 23 29 6 14 27 7 15 22 8 10 13 9 11 16 18 21 26