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