(1,24) (2,11) (3,5) (4,9) (6,26) (7,12) (8,10) (13,17) (14,15) (16,28) (18,25) (19,22) (20,30) (21,29) (23,27) 
nodes: 20458  conflicts: 6  modelTime: 1694  solveTime: 156220  totalTime: 157949  modelSize: 72338  readTime: 35 size: 15