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