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