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