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