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