(1,18) (3,16) (4,17) (5,25) (6,21) (7,29) (8,22) (10,28) (12,27) (13,20) (14,24) (15,26) 
nodes: 1965  conflicts: 53  modelTime: 658  solveTime: 1676  totalTime: 2340  modelSize: 41292  readTime: 6 size: 12