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

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