(2,26) (4,29) (5,20) (6,27) (7,22) (8,18) (9,16) (10,19) (11,17) (12,24) (13,23) (14,30) 
nodes: 1016  conflicts: 63  modelTime: 657  solveTime: 1079  totalTime: 1743  modelSize: 41292  readTime: 7 size: 12