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