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