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