(1,24) (2,30) (3,18) (4,5) (6,26) (7,8) (9,29) (10,15) (11,23) (14,25) (17,28) (19,21) (20,22) 
nodes: 3973  conflicts: 113  modelTime: 1446  solveTime: 16271  totalTime: 17737  modelSize: 72266  readTime: 20 size: 13