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