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