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