(1,16) (3,9) (4,22) (5,23) (6,26) (7,20) (8,17) (10,27) (11,28) (12,19) (13,18) (14,30) (15,21) (24,25) 
nodes: 901260  conflicts: 31  modelTime: 1234  solveTime: 4355350  totalTime: 4356602  modelSize: 72268  readTime: 18 size: 14