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