(2,21) (3,29) (5,20) (7,27) (8,24) (9,25) (10,30) (11,19) (12,26) (13,22) (14,16) (15,28) 
nodes: 1011  conflicts: 62  modelTime: 674  solveTime: 1512  totalTime: 2193  modelSize: 41292  readTime: 7 size: 12