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