(1,30) (2,23) (3,17) (4,28) (5,22) (6,25) (7,29) (8,16) (9,27) (10,20) (11,26) (12,18) (13,24) (15,19) 
nodes: 3095  conflicts: 23  modelTime: 656  solveTime: 5719  totalTime: 6381  modelSize: 41299  readTime: 6 size: 14