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