loading SCIP...
n: 30 m: 212 packed: 10 density: 100 nodes: 0 solverTime: 625 buildTime: 0 solved: true

0 3 15 
1 13 16 
2 12 28 
4 7 21 
5 14 18 
6 9 26 
8 10 25 
11 17 29 
19 24 27 
20 22 23