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