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