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