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