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