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