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