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