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