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