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