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

0 2 35 
1 16 26 
4 29 36 
7 9 15 
8 14 30 
13 24 25 
21 28 37 
31 33 34