(1,19) (2,5) (3,27) (4,17) (6,29) (7,11) (8,14) (10,28) (12,18) (13,20) (15,21) (16,26) (23,24) (25,30) 
nodes: 31565  conflicts: 35  modelTime: 1701  solveTime: 193467  totalTime: 195187  modelSize: 72275  readTime: 19 size: 14