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