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