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