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