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