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