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