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