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