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