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