(1,27) (2,11) (3,25) (4,12) (5,8) (6,18) (7,17) (9,28) (10,26) (13,23) (14,24) (15,30) (16,21) (19,20) (22,29) 
nodes: 49820  conflicts: 13  modelTime: 937  solveTime: 302131  totalTime: 303108  modelSize: 72264  readTime: 39 size: 15