(1,20) (2,29) (3,19) (4,18) (5,23) (6,28) (8,16) (9,30) (11,27) (12,25) (13,22) (14,17) (15,26) 
nodes: 1106  conflicts: 62  modelTime: 661  solveTime: 1167  totalTime: 1835  modelSize: 41293  readTime: 7 size: 13