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