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