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