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