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