(1,29) (2,22) (3,16) (4,24) (5,23) (6,25) (7,20) (8,21) (9,17) (11,28) (12,30) (13,18) (14,19) (15,27) 
nodes: 5763  conflicts: 37  modelTime: 662  solveTime: 8285  totalTime: 8953  modelSize: 41293  readTime: 6 size: 14