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