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