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