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