(1,11) (2,16) (4,23) (5,24) (6,10) (7,18) (8,26) (9,27) (12,28) (13,25) (14,15) (17,21) (19,30) (20,22) 
nodes: 45623  conflicts: 35  modelTime: 960  solveTime: 108350  totalTime: 109321  modelSize: 72268  readTime: 11 size: 14