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