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