(1,30) (2,21) (3,18) (4,26) (5,27) (6,29) (7,22) (9,28) (10,16) (11,24) (12,23) (13,20) (14,19) (15,17) 
nodes: 5095  conflicts: 15  modelTime: 1183  solveTime: 15089  totalTime: 16281  modelSize: 41292  readTime: 9 size: 14