loading SCIP...
n: 60 m: 44 packed: 12 density: 60 nodes: 0 solverTime: 15 buildTime: 0 solved: false

0 18 35 
2 15 34 
3 28 47 
5 22 24 
7 26 57 
10 32 50 
13 41 45 
17 19 54 
27 33 52 
31 44 53 
39 42 55 
48 56 58