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