(1,29) (2,23) (3,18) (4,25) (5,30) (6,20) (7,16) (8,17) (9,21) (10,26) (11,24) (12,27) (13,19) (14,22) (15,28) 
nodes: 6830  conflicts: 9  modelTime: 676  solveTime: 20570  totalTime: 21251  modelSize: 41292  readTime: 4 size: 15