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