(1,28) (2,22) (3,25) (4,18) (5,30) (6,20) (7,17) (9,21) (10,26) (12,23) (13,24) (14,19) (15,27) 
nodes: 1856  conflicts: 41  modelTime: 658  solveTime: 3389  totalTime: 4053  modelSize: 41292  readTime: 6 size: 13