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