(1,15) (2,25) (3,6) (4,26) (5,18) (7,27) (8,17) (9,16) (10,14) (11,24) (12,19) (13,28) (20,22) (21,23) (29,30) 
nodes: 111886  conflicts: 35  modelTime: 1721  solveTime: 530114  totalTime: 531855  modelSize: 72262  readTime: 20 size: 15