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