(1,29) (3,19) (4,20) (5,21) (6,17) (7,26) (8,25) (9,18) (10,23) (11,22) (12,16) (13,27) (14,30) (15,24) 
nodes: 20100  conflicts: 7  modelTime: 654  solveTime: 39890  totalTime: 40548  modelSize: 41293  readTime: 4 size: 14