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