(1,20) (2,22) (3,26) (4,30) (5,29) (6,27) (7,23) (8,21) (10,17) (11,18) (12,28) (13,19) (14,24) (15,25) 
nodes: 1265  conflicts: 29  modelTime: 662  solveTime: 1909  totalTime: 2578  modelSize: 41292  readTime: 7 size: 14