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