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