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