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