(1,25) (2,16) (3,26) (4,27) (5,18) (6,24) (7,22) (8,30) (9,21) (10,17) (11,29) (12,20) (13,28) (14,23) 
nodes: 1964  conflicts: 34  modelTime: 659  solveTime: 3429  totalTime: 4095  modelSize: 41299  readTime: 7 size: 14