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