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