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