(1,26) (2,24) (3,17) (4,23) (5,30) (6,28) (7,21) (8,27) (9,19) (10,16) (12,20) (13,25) (14,18) 
nodes: 2068  conflicts: 29  modelTime: 661  solveTime: 3051  totalTime: 3718  modelSize: 41298  readTime: 6 size: 13