(1,29) (2,16) (3,26) (4,30) (6,24) (7,25) (8,19) (9,20) (10,23) (11,18) (12,27) (13,22) (14,28) (15,21) 
nodes: 3415  conflicts: 56  modelTime: 661  solveTime: 4618  totalTime: 5286  modelSize: 41293  readTime: 7 size: 14