(1,24) (2,18) (3,29) (4,17) (5,16) (7,28) (8,20) (9,21) (10,30) (11,23) (12,26) (13,22) (14,27) 
nodes: 7676  conflicts: 23  modelTime: 655  solveTime: 13554  totalTime: 14215  modelSize: 41292  readTime: 6 size: 13