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