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