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