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