(1,27) (2,25) (3,26) (4,17) (5,30) (8,23) (9,24) (10,28) (11,19) (12,29) (13,20) (14,18) 
nodes: 1349  conflicts: 42  modelTime: 657  solveTime: 1016  totalTime: 1679  modelSize: 41292  readTime: 6 size: 12