(2,21) (3,19) (4,29) (5,25) (6,30) (8,28) (9,24) (10,26) (11,18) (12,16) (13,27) (14,22) (15,17) 
nodes: 1024  conflicts: 52  modelTime: 659  solveTime: 1095  totalTime: 1761  modelSize: 41293  readTime: 7 size: 13