(1,18) (2,12) (3,5) (4,30) (6,25) (7,19) (8,24) (9,10) (11,28) (13,20) (14,23) (16,17) (21,22) (26,27) 
nodes: 525035  conflicts: 24  modelTime: 1110  solveTime: 2701028  totalTime: 2702148  modelSize: 72285  readTime: 10 size: 14