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