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