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