(1,18) (2,28) (3,20) (4,25) (5,21) (6,24) (7,16) (8,26) (10,27) (11,22) (12,23) (13,30) (14,19) (15,17) 
nodes: 5483  conflicts: 49  modelTime: 1208  solveTime: 14046  totalTime: 15264  modelSize: 41292  readTime: 10 size: 14