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