(1,19) (2,25) (4,22) (5,24) (6,20) (7,18) (8,16) (9,29) (10,30) (11,28) (14,21) (15,27) 
nodes: 2986  conflicts: 57  modelTime: 659  solveTime: 4438  totalTime: 5104  modelSize: 41292  readTime: 6 size: 12