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