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