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