(1,21) (2,14) (3,5) (4,24) (6,12) (7,22) (8,9) (10,26) (11,15) (13,16) (17,25) (18,20) (19,28) (23,27) (29,30) 
nodes: 16080  conflicts: 32  modelTime: 1704  solveTime: 71891  totalTime: 73614  modelSize: 72263  readTime: 19 size: 15