(1,23) (2,15) (3,13) (4,20) (5,30) (6,27) (7,25) (8,29) (9,24) (10,22) (11,17) (12,28) (14,16) (18,19) (21,26) 
nodes: 4410  conflicts: 35  modelTime: 1036  solveTime: 21417  totalTime: 22464  modelSize: 72262  readTime: 11 size: 15