loading SCIP...
n: 40 m: 31 packed: 8 density: 61 nodes: 0 solverTime: 31 buildTime: 0 solved: false

0 13 29 
1 2 19 
4 21 22 
5 24 38 
7 20 28 
8 17 30 
12 32 35 
18 25 26