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