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