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