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