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