(1,18) (2,29) (3,19) (4,20) (5,21) (6,23) (7,22) (8,17) (9,27) (10,26) (11,28) (12,16) (13,25) (14,30) 
nodes: 2843  conflicts: 43  modelTime: 660  solveTime: 3627  totalTime: 4294  modelSize: 41293  readTime: 7 size: 14