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