(1,19) (2,25) (3,28) (5,26) (7,21) (8,22) (9,23) (10,18) (11,20) (13,16) (14,30) 
nodes: 628  conflicts: 49  modelTime: 676  solveTime: 796  totalTime: 1479  modelSize: 41300  readTime: 7 size: 11