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