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