loading SCIP...
n: 40 m: 44 packed: 10 density: 76 nodes: 0 solverTime: 31 buildTime: 0 solved: false

0 24 38 
1 2 31 
4 11 32 
6 7 37 
8 26 36 
9 18 20 
12 35 39 
13 15 23 
19 29 34 
28 30 33