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