(1,17) (2,23) (3,30) (4,28) (5,20) (6,16) (7,24) (8,27) (9,26) (10,25) (11,29) (12,18) (13,22) (15,19) 
nodes: 3038  conflicts: 46  modelTime: 657  solveTime: 4661  totalTime: 5324  modelSize: 41298  readTime: 6 size: 14