(1,23) (2,27) (3,22) (4,16) (5,26) (6,30) (7,29) (8,20) (9,28) (10,19) (11,24) (12,17) (13,25) (14,18) 
nodes: 1235  conflicts: 49  modelTime: 670  solveTime: 1710  totalTime: 2388  modelSize: 41298  readTime: 7 size: 14