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