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