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

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