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