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