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