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

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