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