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