(1,27) (2,7) (3,19) (4,20) (5,11) (6,26) (8,9) (10,15) (12,18) (13,29) (14,22) (16,17) (21,25) (23,28) (24,30) 
nodes: 72853  conflicts: 33  modelTime: 1701  solveTime: 209851  totalTime: 211571  modelSize: 72278  readTime: 19 size: 15