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