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

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