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