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