(1,27) (2,30) (3,26) (4,24) (5,28) (6,20) (8,18) (9,25) (10,17) (11,19) (12,29) (13,16) (14,23) (15,22) 
nodes: 1414  conflicts: 15  modelTime: 658  solveTime: 2119  totalTime: 2783  modelSize: 41293  readTime: 6 size: 14