(2,29) (3,16) (4,27) (5,25) (6,23) (8,22) (9,19) (10,30) (11,28) (12,18) (13,26) (14,17) (15,20) 
nodes: 2988  conflicts: 49  modelTime: 657  solveTime: 3367  totalTime: 4030  modelSize: 41293  readTime: 6 size: 13