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