loading SCIP...
n: 40 m: 21 packed: 7 density: 53 nodes: 0 solverTime: 16 buildTime: 0 solved: false

0 16 39 
1 13 24 
4 7 31 
5 18 29 
6 15 33 
12 26 32 
22 23 37