(2,30) (3,23) (5,29) (8,22) (9,21) (10,24) (11,26) (12,20) (13,25) (14,17) (15,18) 
nodes: 2581  conflicts: 67  modelTime: 676  solveTime: 3670  totalTime: 4354  modelSize: 41293  readTime: 8 size: 11