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