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

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