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