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