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