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