(1,19) (2,21) (3,18) (4,25) (5,26) (6,20) (7,29) (9,23) (10,16) (11,24) (12,27) (13,30) (14,17) (15,22) 
nodes: 3953  conflicts: 34  modelTime: 662  solveTime: 7127  totalTime: 7796  modelSize: 41293  readTime: 7 size: 14