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