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