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