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