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