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