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