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

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