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