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