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