(1,26) (2,30) (3,23) (4,19) (5,17) (6,28) (7,18) (8,25) (9,21) (10,16) (11,22) (12,20) (13,29) (15,27) 
nodes: 12398  conflicts: 17  modelTime: 1191  solveTime: 39641  totalTime: 40842  modelSize: 41292  readTime: 10 size: 14