(1,26) (2,24) (3,25) (4,27) (6,20) (7,16) (8,17) (10,28) (11,22) (12,29) (14,19) 
nodes: 1095  conflicts: 98  modelTime: 672  solveTime: 830  totalTime: 1509  modelSize: 41301  readTime: 7 size: 11