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