(2,28) (3,30) (4,24) (5,23) (6,22) (7,16) (8,27) (9,20) (10,25) (11,29) (12,26) (13,17) (14,18) (15,21) 
nodes: 2029  conflicts: 21  modelTime: 658  solveTime: 3274  totalTime: 3938  modelSize: 41299  readTime: 6 size: 14