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