(1,19) (2,23) (3,28) (4,24) (7,25) (8,21) (9,16) (10,17) (11,30) (12,27) (13,18) (14,20) (15,29) 
nodes: 4149  conflicts: 43  modelTime: 660  solveTime: 6320  totalTime: 6986  modelSize: 41299  readTime: 6 size: 13