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