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