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