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

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