(1,22) (2,17) (3,29) (4,24) (5,25) (6,28) (7,20) (9,27) (10,23) (11,21) (12,18) (13,30) (14,16) (15,26) 
nodes: 2307  conflicts: 33  modelTime: 657  solveTime: 3147  totalTime: 3811  modelSize: 41292  readTime: 7 size: 14