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

0 3 31 
2 13 19 
5 28 36 
6 20 35 
7 17 29 
9 12 23 
10 16 21 
14 26 27