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