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