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