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