loading SCIP...
n: 40 m: 707 packed: 13 density: 100 nodes: 0 solverTime: 391 buildTime: 0 solved: true

0 9 14 
1 16 33 
2 5 20 
3 8 31 
4 25 35 
6 23 37 
7 30 38 
10 28 34 
11 22 24 
12 13 32 
15 27 29 
17 26 36 
18 19 39