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