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