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