(1,28) (2,22) (3,30) (4,25) (5,20) (7,27) (8,18) (9,29) (10,16) (12,19) (13,26) (14,24) (15,23) 
nodes: 1064  conflicts: 45  modelTime: 659  solveTime: 1504  totalTime: 2169  modelSize: 41292  readTime: 6 size: 13