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