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