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