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

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