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