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