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

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