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