loading SCIP...
n: 30 m: 38 packed: 8 density: 80 nodes: 0 solverTime: 32 buildTime: 0 solved: false

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