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