(2,29) (3,20) (4,23) (5,19) (6,16) (8,25) (9,18) (10,26) (11,30) (12,22) (13,17) (14,24) (15,21) 
nodes: 13124  conflicts: 44  modelTime: 658  solveTime: 21509  totalTime: 22173  modelSize: 41299  readTime: 6 size: 13