(1,30) (2,20) (3,25) (4,23) (5,19) (6,17) (7,16) (8,22) (10,26) (11,27) (12,28) (13,24) (14,21) (15,18) 
nodes: 5881  conflicts: 34  modelTime: 655  solveTime: 10143  totalTime: 10805  modelSize: 41293  readTime: 6 size: 14