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