(1,30) (2,18) (3,20) (4,19) (5,22) (6,26) (7,25) (8,17) (9,24) (10,16) (11,23) (13,29) (14,27) (15,21) 
nodes: 2261  conflicts: 31  modelTime: 661  solveTime: 2929  totalTime: 3596  modelSize: 41293  readTime: 6 size: 14