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

0 14 38 
3 6 7 
4 15 25 
8 29 30 
10 11 28 
12 24 37 
13 16 36