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