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