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