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