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