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