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