(1,19) (2,16) (3,29) (4,21) (5,24) (6,17) (8,23) (9,25) (10,26) (11,22) (12,27) (14,30) 
nodes: 1383  conflicts: 76  modelTime: 676  solveTime: 1600  totalTime: 2283  modelSize: 41292  readTime: 7 size: 12