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