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