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