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