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