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