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

0 33 34 
3 15 28 
4 22 30 
5 32 36 
6 11 18 
19 27 38 
21 29 31