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