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