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