(1,20) (2,23) (3,25) (5,16) (6,21) (7,18) (8,19) (9,28) (10,26) (11,22) (12,24) (13,30) (14,29) (15,17) 
nodes: 25713  conflicts: 34  modelTime: 654  solveTime: 53455  totalTime: 54115  modelSize: 41293  readTime: 6 size: 14