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