(1,29) (2,30) (3,23) (4,17) (5,19) (6,20) (7,26) (8,25) (9,24) (10,27) (11,21) (13,18) (14,28) (15,22) 
nodes: 2828  conflicts: 35  modelTime: 655  solveTime: 4104  totalTime: 4765  modelSize: 41298  readTime: 6 size: 14