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