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