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