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