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