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