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