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