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