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