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