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

0 31 36 
4 18 37 
7 26 38 
10 20 21 
12 15 34 
16 17 22 
19 28 35