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