(2,22) (3,19) (4,18) (5,26) (6,21) (7,23) (8,28) (10,25) (11,17) (12,24) (13,30) (14,20) (15,27) 
nodes: 984  conflicts: 43  modelTime: 659  solveTime: 1852  totalTime: 2517  modelSize: 41293  readTime: 6 size: 13