(1,30) (2,26) (3,17) (4,20) (5,29) (6,25) (7,21) (8,23) (9,16) (10,18) (11,28) (12,22) (13,24) (15,19) 
nodes: 1746  conflicts: 52  modelTime: 657  solveTime: 1616  totalTime: 2280  modelSize: 41292  readTime: 7 size: 14