(1,26) (2,16) (3,19) (5,25) (6,23) (8,22) (9,28) (10,29) (12,30) (13,18) (14,20) (15,24) 
nodes: 1199  conflicts: 41  modelTime: 659  solveTime: 1774  totalTime: 2440  modelSize: 41292  readTime: 7 size: 12