loading SCIP...
n: 30 m: 139 packed: 9 density: 90 nodes: 0 solverTime: 78 buildTime: 0 solved: false

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