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

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