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