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