(1,28) (2,12) (3,22) (4,26) (5,19) (6,27) (7,25) (8,29) (9,20) (10,13) (11,21) (14,16) (15,23) (17,24) (18,30) 
nodes: 61848  conflicts: 76  modelTime: 1724  solveTime: 201375  totalTime: 203119  modelSize: 72262  readTime: 20 size: 15