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