(1,18) (2,17) (3,26) (4,25) (5,20) (6,30) (7,22) (9,21) (10,28) (11,24) (12,29) (13,27) (14,23) (15,19) 
nodes: 2818  conflicts: 32  modelTime: 683  solveTime: 5410  totalTime: 6099  modelSize: 41293  readTime: 6 size: 14