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