(1,23) (2,19) (3,18) (4,25) (5,27) (6,17) (7,28) (8,20) (10,16) (11,29) (13,30) (14,22) 
nodes: 1591  conflicts: 57  modelTime: 656  solveTime: 2683  totalTime: 3346  modelSize: 41292  readTime: 7 size: 12