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