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