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