(1,19) (2,21) (3,18) (4,26) (5,16) (6,25) (7,30) (9,20) (10,24) (11,29) (12,28) (13,23) (14,17) (15,22) 
nodes: 3265  conflicts: 26  modelTime: 656  solveTime: 4861  totalTime: 5525  modelSize: 41298  readTime: 7 size: 14