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