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