(1,16) (2,25) (4,28) (5,24) (7,29) (8,22) (9,20) (11,30) (12,21) (13,19) (14,23) (15,26) 
nodes: 1629  conflicts: 44  modelTime: 726  solveTime: 2077  totalTime: 2811  modelSize: 41293  readTime: 8 size: 12