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