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