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