(1,29) (2,21) (3,19) (4,15) (5,22) (6,25) (7,30) (8,10) (9,16) (11,17) (12,20) (13,26) (14,18) (23,24) (27,28) 
nodes: 5610  conflicts: 4  modelTime: 1689  solveTime: 47282  totalTime: 48984  modelSize: 72264  readTime: 13 size: 15