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