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