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