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