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