(1,19) (3,28) (4,24) (5,26) (6,29) (7,21) (8,25) (9,22) (10,18) (11,16) (12,30) (13,17) (14,20) (15,27) 
nodes: 1949  conflicts: 38  modelTime: 657  solveTime: 2969  totalTime: 3633  modelSize: 41298  readTime: 7 size: 14