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

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