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