(1,20) (4,30) (5,16) (7,23) (8,27) (9,25) (10,28) (12,18) (13,17) (14,21) (15,29) 
nodes: 946  conflicts: 76  modelTime: 676  solveTime: 1247  totalTime: 1930  modelSize: 41292  readTime: 7 size: 11