(1,8) (2,11) (4,14) (5,22) (6,27) (7,29) (9,23) (10,28) (13,24) (15,25) (16,19) (17,26) (18,21) (20,30) 
nodes: 112284  conflicts: 25  modelTime: 1721  solveTime: 336344  totalTime: 338083  modelSize: 72265  readTime: 18 size: 14