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