(1,22) (2,17) (3,29) (4,25) (5,21) (6,19) (7,23) (8,27) (9,20) (10,30) (12,18) (13,26) (14,24) (15,16) 
nodes: 28713  conflicts: 29  modelTime: 664  solveTime: 88298  totalTime: 88967  modelSize: 41292  readTime: 5 size: 14