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