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