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