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