(1,29) (2,24) (3,21) (5,20) (6,19) (7,16) (8,22) (9,17) (10,27) (11,26) (13,23) (14,30) (15,18) 
nodes: 1756  conflicts: 58  modelTime: 660  solveTime: 2061  totalTime: 2728  modelSize: 41293  readTime: 7 size: 13