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

0 15 37 
1 18 33 
6 20 21 
8 17 38 
9 11 24 
10 27 31 
13 22 25