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