(1,7) (2,27) (3,20) (4,21) (5,17) (6,11) (8,14) (9,16) (10,13) (12,28) (15,29) (18,19) (22,25) (23,24) (26,30) 
nodes: 44919  conflicts: 5  modelTime: 1622  solveTime: 234987  totalTime: 236624  modelSize: 72265  readTime: 15 size: 15