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