(1,13) (2,8) (3,22) (4,5) (6,19) (7,28) (9,25) (10,27) (11,16) (12,15) (14,21) (17,24) (18,23) (20,26) (29,30) 
nodes: 371954  conflicts: 37  modelTime: 938  solveTime: 1809709  totalTime: 1810658  modelSize: 72266  readTime: 11 size: 15