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