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