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