(1,30) (3,18) (4,16) (5,23) (6,29) (7,20) (8,24) (9,27) (10,28) (11,21) (12,25) (13,17) (15,19) 
nodes: 2325  conflicts: 38  modelTime: 657  solveTime: 3486  totalTime: 4150  modelSize: 41293  readTime: 7 size: 13