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