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