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