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