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

0 21 25 
1 8 27 
7 35 37 
11 16 38 
12 15 39 
18 28 31 
24 30 34 
26 32 36