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