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