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