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