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