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