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