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