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