(1,25) (2,20) (3,29) (5,22) (6,24) (7,17) (8,30) (9,28) (10,19) (11,21) (12,16) (13,27) (14,26) (15,23) 
nodes: 1630  conflicts: 41  modelTime: 656  solveTime: 2743  totalTime: 3405  modelSize: 41298  readTime: 6 size: 14