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