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