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