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