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