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