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