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