(1,16) (2,18) (4,17) (5,27) (7,23) (8,20) (9,21) (10,22) (12,26) (15,25) 
nodes: 1101  conflicts: 94  modelTime: 662  solveTime: 1157  totalTime: 1826  modelSize: 41301  readTime: 7 size: 10