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