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