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