(1,21) (2,25) (3,19) (5,20) (7,26) (8,24) (9,28) (10,23) (11,30) (12,22) (13,29) (14,16) (15,17) 
nodes: 4681  conflicts: 59  modelTime: 664  solveTime: 8046  totalTime: 8717  modelSize: 41292  readTime: 7 size: 13