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