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